Soham Chowdhury's repositories
doom.d
my doom.d
idris2-vim
Vim mode for Idris 2
afterburner
incremental UI in Rust
iced
A cross-platform GUI library for Rust, inspired by Elm
sqlx
š§° The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL.
smithay
A smithy for rusty wayland compositors
mrkgnao.github.io
Free and open-source Jekyll theme
cube20rust
Rust port of Rokicki's cube20 representation and a human-method solver based on it
ale
Check syntax in Vim asynchronously and fix files, with Language Server Protocol (LSP) support
miso-tutorial-app
GHCJS + Miso client, GHC + Servant server, Nix tying it all together
qtt
Quantitative Type Theory implementation
interprocess
Portable interprocess communication (IPC) in Haskell
cypherpunk-research
This repository is essentially for compiling information about Cypherpunks, the history of the movement, and the people/events of note.
phil2
Second iteration of my semi-serious toy compiler
prosthetic-conscience
Towards a functional exocortex
anki-editor
An Emacs package that helps you make Anki cards in Org-mode
rien-digest-example
Example usage of Rien with native dependencies
periphero
wip
cabal-helper
Simple interface to some of Cabal's configuration state, used by ghc-mod. CI: https://gitlab.com/dxld/cabal-helper/pipelines
notation
Collection of quotes on interesting notations & how they affect thought.
write-yourself-a-scheme-in-agda
Like "Write Yourself a Scheme in 48 Hours", but in Agda
llvm-hs-pretty
Pretty printer for LLVM AST to Textual IR
mythical-compiler
Notes for a compiler for an as-yet-nonexistent language
mikrokosmos
Blog source, with Hakyll, type-of-html, and clay