Jex's repos on GitHub
TypeScript 5827 人关注
regulex :construction: Regular Expression Excited!
Ruby 32 人关注
PlainSite PlainSite:A Truely Hackable Static Site Generator.
Emacs Lisp 11 人关注
ydiff a structural comparison tool for Lisp
Assembly 4 人关注
anthology Jex's Code Anthology
Python 3 人关注
PLPapers Programming Language Papers Bookmarks
Standard ML 1 人关注
hol-light HOL Light is an interactive theorem prover / proof checker. Automatically exported from code.google.com/p/hol-light
Haskell 0 人关注
basic-prelude An enhanced core prelude, meant for building up more complete preludes on top of.
0 人关注
Faction The Faction Programming Language
Javascript 0 人关注
ForMu Typed Model
Haskell 0 人关注
Idris-dev A Dependently Typed Functional Programming Language
Scheme 0 人关注
lightsabers some tiny, beautiful and difficult code
Java 0 人关注
ManagedRuntimeInitiative The Managed Runtime Initiative is an open development and integration initiative launched by Azul Systems with the aim of improving the execution of managed runtimes (.e.g. Java, Ruby, .Net) by enhancing interfaces and functionality across vertical components of the systems stack (e.g. managed runtime, OS kernel, hypervisor and hardware layer)
Haskell 0 人关注
mono-traversable Type classes for mapping, folding, and traversing monomorphic containers
0 人关注
papers A Git annex repository of papers
0 人关注
papers-we-love Papers from the computer science community to read and discuss.
Python 0 人关注
psydiff a structural comparison tool for Python
Java 0 人关注
pysonar2 an advanced static analyzer for Python
Java 0 人关注
rubysonar a type inferencer and indexer for Ruby
Emacs Lisp 0 人关注
syslocal My personal system customation scripts and config files.
Haskell 0 人关注
trifecta Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink
Haskell 0 人关注
TypedFlow Typed frontend to TensorFlow and higher-order deep learning
Ruby 0 人关注
vagrant-vbguest A Vagrant plugin to keep your VirtualBox Guest Additions up to date
Python 0 人关注
XX-Net a web proxy tool
Java 0 人关注
yin the Yin programming language
Scheme 0 人关注
ykanren miniKanren with a pure negation operator
Scheme 0 人关注
yscheme a compiler from a subset of Scheme into X64