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
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 & securely 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 an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python 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.