daanx
Follow
-
mimalloc-bench Public
Suite for benchmarking malloc implementations.
-
isocline Public
Isocline is a portable GNU readline alternative
-
-
homebrew-core Public
Forked from Homebrew/homebrew-core🍻 Default formulae for the missing package manager for macOS (or Linux)
Ruby BSD 2-Clause "Simplified" License UpdatedFeb 19, 2022 -
stackage Public
Forked from commercialhaskell/stackage"Stable Hackage": vetted consistent packages from Hackage
Dockerfile MIT License UpdatedAug 21, 2021 -
effect-bench Public
Benchmarking algebraic effect handler implementations
-
effects-rosetta-stone Public
Forked from effect-handlers/effects-rosetta-stoneA comparison of how computational effects and handlers are implemented in various programming languages.
MIT License UpdatedApr 25, 2018 -
async-context-definition Public
Forked from mike-kaufman/async-context-definitionUpdatedMar 29, 2018 -
-
FStar Public
Forked from FStarLang/FStarAn ML-like language with a type system for program verification
-
marked Public
Forked from markedjs/markedA markdown parser and compiler. Built for speed.
JavaScript MIT License UpdatedJun 1, 2013