stedolan/sequent-subtyping

Stars
3
Rank 3,852,142 (Top 79 %)
Language Coq
Created over 4 years ago
Updated over 2 years ago

stedolan/sequent-subtyping

stedolan

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

jq

Command-line JSON processor

malfunction

Malfunctional Programming

counterexamples

Counterexamples in Type Systems

mlsub

Prototype type inference engine

crowbar

Property fuzzing for OCaml

bf.sed

A brainfuck compiler, written in sed

ppx_stage

Staged metaprogramming in stock OCaml

idris-malfunction

Experimental Malfunction backend for Idris

caml-oxide

safe FFI between OCaml and Rust (experimental)

minhttp

A tiny and surprisingly featureful webserver

git-ls

List files, annotated by git status

pathfinder

pythonic filesystem library

hax

Random scripts, snippets of code, whatever.

libfib

A library for high-performance lightweight threads

llvm

Context switching for LLVM

linkage

easy-to-use wrapper for OCaml's Dynlink

ocaml-afl-persistent

persistent-mode afl-fuzz for ocaml

Sandbox

Sandbox for running native code under Linux at full speed, without allowing it to do anything other than read/write stdio

bzseek

Random access library for bzip2 files

cshore

Call C from Python without writing bindings

moria

Embedded language for construction of DWARF

with-gdb

Attaches gdb to crashed processes

nd

Netsoc LDAP directory

wikiflow

random walks through human knowledge

fyp

Final year project

python-monkeypatch

Bringing Ruby best practices to Python

Altitude

Debugging above C level

clang

Clang C/C++ compiler, with patches to support context-switching

irclinks

IRC network visualisation

seqbuf

Sequential buffer access

sneeky

Steganography through bad spelling

bandgraph

Scale-space visualisation of time-series data