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/ozil
Browsing man pages and help pages with zero friction.
typesanitizer/bsalc-alt-code
Code from the paper 'Build Systems à la Carte' translated to Rust-like syntax
typesanitizer/aoc2018-hs
Advent of Code 2018 (Haskell)
typesanitizer/bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
typesanitizer/cc-rs
Rust library for build scripts to compile C/C++ code into a Rust library
typesanitizer/completely-unscientific-benchmarks
Naive performance comparison of a few programming languages (JavaScript, Kotlin, Rust, Swift, Nim, Python, Go, Haskell, D, C++, Java, C#, Object Pascal, Ada, Lua, Ruby)
typesanitizer/dictionaries
Benchmarks for dictionary data structures: hash tables, maps, tries, etc.
typesanitizer/effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
typesanitizer/emacs-racer
Racer support for Emacs
typesanitizer/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
typesanitizer/hashbrown
Rust port of Google's SwissTable hash map
typesanitizer/hlint-roller
A community-maintained collection of lints for Haskell code.
typesanitizer/kythe
Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.
typesanitizer/lambda-eop
A toy language with evaluation-order polymorphism.
typesanitizer/packcheck
Universal build and CI testing for Haskell packages
typesanitizer/path
Typed filepath
typesanitizer/platform-samples
A public place for all platform sample projects.
typesanitizer/plex-issue
I'm having some trouble with running cargo test. :(
typesanitizer/primitive
This package provides various primitive memory-related operations.
typesanitizer/scala-lang
The Scala Website
typesanitizer/scalpel
A high level web scraping library for Haskell.
typesanitizer/sixten
Functional programming with fewer indirections
typesanitizer/stackage
"Stable Hackage": vetted consistent packages from Hackage
typesanitizer/summer-of-haskell
Source code of summer.haskell.org
typesanitizer/time
A time library
typesanitizer/tree-sitter-agda
Agda grammar for tree-sitter
typesanitizer/typing-bibliography
A collection of papers related to type checking and type inference.
typesanitizer/vector
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
typesanitizer/void-space
Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me
typesanitizer/yolexo
You Only Lex Once