yfyf's Stars
tkuhlman/vertica-swift-backup
Scripts to backup/restore Vertica to OpenStack Swift
bgamari/hoogle-index
Easily generate Hoogle indices for installed packages
ollef/Bidirectional
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
ollef/Earley
Parsing all context-free grammars using Earley's algorithm in Haskell.
jonsterling/hs-abt
Type safe abstract binding trees for Haskell, using Vinyl
amtal/CoreErlang
AST, parser, pretty-printer for Core Erlang source code.
gleber/erlhask
Erlang VM reimplementation in Haskell
goertzenator/ruster
WIP
studzien/hack-erlang-vm
Hack your own Erlang VM meetups
dagit/happy-plus-alex
Template for quickly and easily combining happy and alex
lenary/idris-erlang
Erlang Backend for Idris Compiler
uutils/coreutils
Cross-platform Rust rewrite of the GNU coreutils
awesome-foss/awesome-sysadmin
A curated list of amazingly awesome open-source sysadmin resources.
samth/gradual-typing-bib
A bibliography on Gradual Typing
python/typing
Python static typing home. Hosts the documentation and a user help forum.
python/mypy
Optional static typing for Python
Vagabond/teleport
0xAX/linux-insides
A little bit about a linux kernel
quodlibet/quodlibet
Music player and music library manager for Linux, Windows, and macOS
webyrd/hindley-milner-type-inferencer
Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
webyrd/relational-interpreter-with-match
Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher
tokio-rs/mio
Metal I/O library for Rust.
edwinb/idris-php
Yes, really...
idris-lang/idris-emptycg
An empty code generator, to be used as a starting point for any new back ends.
brb/docker-barrelfish
Docker image for Barrelfish OS build tools
svahne/browserl
Run Erlang beam files in your browser
hypernumbers/LuvvieScript
Luvvie Script. An Erlang dialect that compiles to Javascript for Actor-style DOM scripting
dergraf/epmdpxy
Simulating Netsplits using the Erlang Port Mapper Deamon
jozefg/modal
Modal logic in Haskell through Static Pointers
functional-vilnius/functional-vilnius.github.io
Website for Functional Vilnius