An in-progress fast, dependently typed, functional programming language implemented in Swift.

Tool to decompile & extract Android Dex bytecode from Vdex files

Formalization of the Dependent Object Types (DOT) calculus

Dependent Object Types (DOT), bottom up

formalization of the Dependent Object Types (DOT) calculus

wepoll: fast epoll for windows⁧ 🎭

A prototype successor to Idris

Unofficial dex2jar builds

Kcptun with raw socket and fake TCP headers.

A Tunnel which Turns UDP Traffic into Encrypted UDP/FakeTCP/ICMP Traffic by using Raw Socket,helps you Bypass UDP FireWalls(or Unstable UDP Environment)

Simple and portable (but not inflexible) GUI library in C that uses the native GUI technologies of each platform it supports.

A formalisation of Pure Type Systems

Formal Reasoning About Programs

Type inference for 'type level computation one step at a time'

A formalization of the polymorphic lambda calculus extended with iso-recursive types

BYOHC workshop 活動記錄

Normalise GHC.TypeLits.Nat equations

MrMC Main Repository - By using this code you agree to follow the GPLv2 license.

A talk on parametricity

Miller is like awk, sed, cut, join, and sort for name-indexed data such as CSV, TSV, and tabular JSON

Objective-C for Windows

tmux source code

JSPatch bridge Objective-C and Javascript using the Objective-C runtime. You can call any Objective-C class and method in JavaScript by just including a small engine. JSPatch is generally used to h…

Nix, the purely functional package manager

Pure Python Vim clone.

A better Python REPL

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Magnificent app which corrects your previous console command.

A demo implementation of a simple dependently-typed language