Soham Chowdhury's Projects
exwm on doom emacs (mostly stolen from @jethrokuan)
Common useful functions and rules for Bazel
Build tool for Leptos (Rust)
Stores documents used by the TensorFlow developer community
Rust port of Voltera/vcube + partial pruning table-based human-method Rubik's cube solver based on it
A small, featureful neovim template
A fancy and fast mode-line inspired by minimalism design.
A collection of useful .gitignore templates
Blazing fast, instant realtime GraphQL APIs on Postgres with fine grained access control, also trigger webhooks on database events.
A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
A dependently typed programming language, a successor to Idris
k crash course
Examples for Haskell bindings to LLVM
nixops configs for systems i control
Personal mpv configuration files and scripts (for syncing my computers). NOTE: my VO config is dynamic and relies on certain scripts (see corresponding comments in mpv.conf)
Nix Packages collection
Highly polymorphic algebraic structures with custom deriving strategies
An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"
Predictable Haskell development environments with Cabal and Nix.
A Rust compiler front-end for IDEs
freshly-fermented, dependently-typed mustard, with a substructural aftertaste
optics for Haskell with the most amazing type errors you've seen
An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system