ocecaco Goto Github PK

bailey

Compiler for an untyped, reference-counted, strictly-evaluated functional programming language

components-rs

Library for interacting with Windows COM (Component Object Model)

deptt

Type checker for a dependent type theory with predicative, non-cumulative universes and explicit universe polymorphism à la Agda

deptt-pages

type checker for dependent type theory

haskell-evdev

Low-level Haskell bindings to libevdev

haskell-mode

Emacs mode for Haskell

hematite_nbt

Fork of hematite_nbt with little-endian NBT format

hematite_nbt-1

A full-featured Rust crate for working with Minecraft's Named Binary Tag (NBT) file format, including Serde support.

hspeech

Haskell prototype of library for defining speech recognition grammars using the Applicative type class

huet-unify

Huet's pre-unification algorithm for the simply-typed lambda calculus, implemented in Haskell

iris-iterators

Specifications of sequential and parallel list iterators in the Iris separation logic

iris-logrel-sessions

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

leveldb

Fork of Rust leveldb library

leveldb-mcpe

Fork of leveldb-mcpe

leveldb-sys

fork of leveldb-sys Rust lib

mcbmapper

Extract biome information from a running Minecraft process using Frida

mcworld

Minecraft Bedrock world reading library in Rust

pcf-bidirectional

Simple implementation of PCF with bidirectional typechecking

persp-mode.el

named perspectives(set of buffers/window configs) for emacs

program-analysis

Simple Haskell implementations of program analyses from the book "Principles of Program Analysis"

saturn

SAT solver implementation in Rust, based on MiniSAT

stacked-borrows

stentorian

safe Rust library for interacting with the COM API of Dragon NaturallySpeaking

stentorian-client-py

Python client for stentorian-server

stentorian-server

JSONRPC wrapper around the COM API of Dragon NaturallySpeaking

token-borrowing-machine

Some experiments with Stacked Borrows semantics