0rca
Follow
Starred repositories
Call AppleScript from Haskell
Easy to use library for building Telegram bots in Haskell.
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.
A simple library for reporting compiler/interpreter errors
One SDK to rule them all, and in the codegen bind them
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
An open-source time-series SQL database optimized for fast ingest and complex queries. Packaged as a PostgreSQL extension.
Haskell bindings for the Souffle datalog language
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Haskell project template using Nix + Flakes + VSCode (HLS)
Open source API development ecosystem - https://hoppscotch.io (open-source alternative to Postman, Insomnia)
A curated list of command-line utilities written in Rust
Source code spell checker for Visual Studio Code, Neovim and other LSP clients
A cargo subcommand for cleaning up unused build files generated by Cargo
A clean, dark vim colorscheme that celebrates the lights of downtown Tokyo at night, based on a VSCode theme by @enkia with the same name [Archived because I'm no longer using this]
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust