Pinned Repositories
b2piet
bsalc-alt-code
Code from the paper 'Build Systems à la Carte' translated to Rust-like syntax
concurrent-interner
A string interner that is safe to use from multiple threads
demo-nix-bazel-tree-sitter
edit
Edit is a monad for rewriting things.
not-a-blog
Not a description.
ozil
Browsing man pages and help pages with zero friction.
pichpich
A tool to check cross-references for magic comments in code and config files
typesanitizer's Repositories
typesanitizer/b2piet
typesanitizer/ats2-mode
Emacs mode for ATS2
typesanitizer/batteries-included
Batteries Included project
typesanitizer/c2nasm
Converts C to nasm using gcc and objconv
typesanitizer/checklist
The Haskell performance checklist
typesanitizer/ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
typesanitizer/nlib
The book "Annotated Algorithms in Python" and the nlib.py library
typesanitizer/ocplib-wxOCaml
a WxWidgets binding for OCaml
typesanitizer/optparse-applicative
Applicative option parser
typesanitizer/polyglot
Tool to count lines of source code.
typesanitizer/reactive-banana
Library for functional reactive programming in Haskell.
typesanitizer/rustup.rs
The Rust toolchain installer
typesanitizer/tasty-hedgehog
typesanitizer/theindigamer.github.io
typesanitizer/typesense
Fast, typo tolerant search engine for building delightful search experiences.
typesanitizer/wxHaskell
wxWidgets wrapper for Haskell
typesanitizer/wxhs-test
Test repository for wxHaskell and reactive-banana
typesanitizer/xarray
N-D labeled arrays and datasets in Python