Soham Chowdhury's repositories

pico

The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)

Language:HaskellLicense:GPL-3.0Stargazers:15Issues:5Issues:0

system-dc

Strongly typed implementation of System DC, the core language for Dependent Haskell

Language:HaskellLicense:GPL-3.0Stargazers:12Issues:5Issues:0

prosthetic-conscience

Towards a functional exocortex

Language:HaskellLicense:GPL-3.0Stargazers:8Issues:4Issues:0

afterburner

incremental UI in Rust

Language:RustStargazers:7Issues:4Issues:0

jeans

An experiment in using a theorem prover to find interesting new monads

Language:HaskellLicense:NOASSERTIONStargazers:6Issues:5Issues:0

utt

The core type theory from the first chapter of Ulf Norell's (Agda) thesis

Language:HaskellLicense:GPL-3.0Stargazers:5Issues:6Issues:0

mikrokosmos

Blog source, with Hakyll, type-of-html, and clay

Language:HaskellStargazers:2Issues:4Issues:0

abseil

experiments in imperative incremental computation

Language:RustStargazers:1Issues:3Issues:0

cube20rust

Rust port of Rokicki's cube20 representation and a human-method solver based on it

Language:RustStargazers:1Issues:3Issues:0

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

ale

Check syntax in Vim asynchronously and fix files, with Language Server Protocol (LSP) support

Language:Vim ScriptLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

anki-editor

An Emacs package that helps you make Anki cards in Org-mode

Language:Emacs LispStargazers:0Issues:3Issues:0

cabal-helper

Simple interface to some of Cabal's configuration state, used by ghc-mod. CI: https://gitlab.com/dxld/cabal-helper/pipelines

Language:HaskellLicense:AGPL-3.0Stargazers:0Issues:3Issues:0

doom.d

my doom.d

Language:Emacs LispStargazers:0Issues:3Issues:0
Stargazers:0Issues:3Issues:0

iced

A cross-platform GUI library for Rust, inspired by Elm

Language:RustLicense:MITStargazers:0Issues:2Issues:0

idris2-vim

Vim mode for Idris 2

Language:Vim ScriptStargazers:0Issues:2Issues:0

interprocess

Portable interprocess communication (IPC) in Haskell

Language:CLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0

llvm-hs-pretty

Pretty printer for LLVM AST to Textual IR

Language:LLVMLicense:MITStargazers:0Issues:3Issues:0

miso-tutorial-app

GHCJS + Miso client, GHC + Servant server, Nix tying it all together

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

mrkgnao.github.io

Free and open-source Jekyll theme

Language:HTMLStargazers:0Issues:3Issues:0

notation

Collection of quotes on interesting notations & how they affect thought.

Stargazers:0Issues:3Issues:0
Language:NixLicense:GPL-3.0Stargazers:0Issues:3Issues:0

phil2

Second iteration of my semi-serious toy compiler

Language:NixStargazers:0Issues:3Issues:0

qtt

Quantitative Type Theory implementation

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

rien-digest-example

Example usage of Rien with native dependencies

Language:NixLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0

smithay

A smithy for rusty wayland compositors

Language:RustLicense:MITStargazers:0Issues:2Issues:0

sqlx

šŸ§° The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL.

Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0

write-yourself-a-scheme-in-agda

Like "Write Yourself a Scheme in 48 Hours", but in Agda

Language:AgdaLicense:MPL-2.0Stargazers:0Issues:3Issues:0