-
bailey Public
Compiler for an untyped, reference-counted, strictly-evaluated functional programming language
Rust UpdatedMay 14, 2023 -
token-borrowing-machine Public
Some experiments with Stacked Borrows semantics
Rust MIT License UpdatedJul 2, 2021 -
persp-mode.el Public
Forked from Bad-ptr/persp-mode.elnamed perspectives(set of buffers/window configs) for emacs
Emacs Lisp UpdatedJul 12, 2020 -
iris-logrel-sessions Public
Coq formalization of a logical relations proof of type safety for a type system with session types, unique/shareable references, using the Iris concurrent separation logic
-
-
-
hematite_nbt-1 Public
Forked from PistonDevelopers/hematite_nbtA full-featured Rust crate for working with Minecraft's Named Binary Tag (NBT) file format, including Serde support.
-
deptt Public
Type checker for a dependent type theory with predicative, non-cumulative universes and explicit universe polymorphism à la Agda
Haskell UpdatedOct 26, 2019 -
hematite_nbt Public
Fork of hematite_nbt with little-endian NBT format
-
mcbmapper Public
Extract biome information from a running Minecraft process using Frida
-
stentorian Public
safe Rust library for interacting with the COM API of Dragon NaturallySpeaking
Rust GNU Lesser General Public License v3.0 UpdatedOct 7, 2019 -
huet-unify Public
Huet's pre-unification algorithm for the simply-typed lambda calculus, implemented in Haskell
-
stentorian-server Public
JSONRPC wrapper around the COM API of Dragon NaturallySpeaking
Rust GNU Lesser General Public License v3.0 UpdatedOct 7, 2019 -
components-rs Public
Library for interacting with Windows COM (Component Object Model)
-
-
leveldb-mcpe Public
Fork of leveldb-mcpe
-
-
pcf-bidirectional Public
Simple implementation of PCF with bidirectional typechecking
PureScript UpdatedApr 11, 2019 -
program-analysis Public
Simple Haskell implementations of program analyses from the book "Principles of Program Analysis"
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 9, 2019 -
-
-
haskell-evdev Public
Low-level Haskell bindings to libevdev
-
iris-iterators Public
Specifications of sequential and parallel list iterators in the Iris separation logic
Coq UpdatedFeb 18, 2019 -
-
hspeech Public
Haskell prototype of library for defining speech recognition grammars using the Applicative type class
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 6, 2017 -
haskell-mode Public
Forked from haskell/haskell-modeEmacs mode for Haskell
Emacs Lisp GNU General Public License v3.0 UpdatedJul 29, 2015
{{ message }}