Pinned Repositories
language-c
git mirror of language-c darcs repo at http://code.haskell.org/language-c
mech
a generalized state machine composition toolkit for building large systems
monad-ste
ST with efficient exceptions
numbers
orange
the colorful place for the best RNGs, goodness first
resin
Resin: high performance variable binder and ast manipulation lib
strict-identity
strict identity monad, handy for writing high performance strict code sanely
numerical
Numerical is the core library for Numerical Haskell
cartazio's Repositories
cartazio/HaNS
HaNS, a haskell network stack (currently an archeology project, but maybe can be revived)
cartazio/exp-fam
playing with some ideas i borrowed from a friend, exponential families are cool!
cartazio/rclone
"rsync for cloud storage" - Google Drive, Amazon Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Cloudfiles, Google Cloud Storage, Yandex Files
cartazio/metalibm-lugdunum
http://www.metalibm.org and friends, lugdunum repo
cartazio/sollya
cartazio/atom-build
:hammer: Build your project directly from the Atom editor
cartazio/cakeml
CakeML: A Verified Implementation of ML
cartazio/caradoc
A PDF parser and validator
cartazio/cgal
The public CGAL repository, see the README below
cartazio/crlibm
cartazio/deanie
An embedded probabilistic programming language.
cartazio/exrandom-mirror
mirror of the exact sampling ExRandom c++ library, go read https://arxiv.org/abs/1303.6257v2 to learn more
cartazio/gappa
cartazio/gappa-coq
cartazio/generic-syntax
A Scope Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
cartazio/ghc-proposals-static-values-simd
named repo for ghc proposal on static arguments for rich SIMD
cartazio/ghc-utils
Utilities I find useful while working on GHC
cartazio/infer
A static analyzer for Java, C, C++, and Objective-C
cartazio/ispc
Intel SPMD Program Compiler
cartazio/luau
every little embedded language is a happy dance party
cartazio/metalibm-lutetia
http://www.metalibm.org and friends, lutetia repo
cartazio/multivalent-tools
An archive of the original Multivalent tools circa 2006
cartazio/pipeline-model-definition-plugin
cartazio/protobuf
Go support for Google's protocol buffers
cartazio/suspension
cartazio/system-f-agda
A formalization of the polymorphic lambda calculus extended with iso-recursive types
cartazio/tomsfastmath
TomsFastMath is a fast public domain, open source, large integer arithmetic library written in portable ISO C.
cartazio/transients
Clojure-style transients for Haskell
cartazio/type-scope-semantics
A self-contained repository for the paper Type and Scope Preserving Semantics
cartazio/z3cat
Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations