develop7
Follow
❓ Promising stuff
Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, code-like database branching, and scale to zero.
GlueSQL is quite sticky. It attaches to anywhere.
Tools for synching and streaming files from Windows to Linux
GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can be found here:
Open-source vector similarity search for Postgres
An open-source Twitter-in-Telegram bot, just like TweetItBot, but much simpler.
A list of Free Software network services and web applications which can be hosted on your own servers
Hydra: Column-oriented Postgres. Add scalable analytics to your project in minutes.
PruningRadixTrie - 1000x faster Radix trie for prefix search & auto-complete
A self-hosted open source photo management service. This is the repository of the backend.
Data Processing benchmark featuring Rust, Go, Swift, Zig, Julia etc.
A massively parallel, optimal functional runtime in Rust
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
Image similarity comparison simulating human perception (multiscale SSIM in Rust)
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
Inpla: Interaction nets as a programming language (the current version)
A non-interactive proof assistant using the Haskell type system
Slint is a declarative GUI toolkit to build native user interfaces for Rust, C++, or JavaScript apps.
A massively parallel, high-level programming language
Easy and powerful typeful logging without monad towers, in Haskell.
Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.