Soham Chowdhury's repositories
prosthetic-conscience
Towards a functional exocortex
afterburner
incremental UI in Rust
mikrokosmos
Blog source, with Hakyll, type-of-html, and clay
cube20rust
Rust port of Rokicki's cube20 representation and a human-method solver based on it
cypherpunk-research
This repository is essentially for compiling information about Cypherpunks, the history of the movement, and the people/events of note.
mythical-compiler
Notes for a compiler for an as-yet-nonexistent language
anki-editor
An Emacs package that helps you make Anki cards in Org-mode
cabal-helper
Simple interface to some of Cabal's configuration state, used by ghc-mod. CI: https://gitlab.com/dxld/cabal-helper/pipelines
idris2-vim
Vim mode for Idris 2
interprocess
Portable interprocess communication (IPC) in Haskell
llvm-hs-pretty
Pretty printer for LLVM AST to Textual IR
miso-tutorial-app
GHCJS + Miso client, GHC + Servant server, Nix tying it all together
mrkgnao.github.io
Free and open-source Jekyll theme
rien-digest-example
Example usage of Rien with native dependencies
write-yourself-a-scheme-in-agda
Like "Write Yourself a Scheme in 48 Hours", but in Agda