Jex's recent timeline updates

regulex :construction: Regular Expression Excited!

PlainSite PlainSite：A Truely Hackable Static Site Generator.

ShunEncode 巷议，通过简单混淆来规避敏感词程序的审查

ydiff a structural comparison tool for Lisp

anthology Jex's Code Anthology

cjex.github.io Jex is dead

PLPapers Programming Language Papers Bookmarks

hol-light HOL Light is an interactive theorem prover / proof checker. Automatically exported from code.google.com/p/hol-light

babel-plugin-closure-elimination A Babel plugin which eliminates closures from your Javascript wherever possible.

basic-prelude An enhanced core prelude, meant for building up more complete preludes on top of.

ChezScheme Chez Scheme

ermine-parser Parser combinator library in Scala

Faction The Faction Programming Language

ForMu Typed Model

fsharp-trifecta Forked from pocketberserker/fsharp-trifecta

goagent a gae proxy

Idris-dev A Dependently Typed Functional Programming Language

INTANG

lightsabers some tiny, beautiful and difficult code

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)

mono-traversable Type classes for mapping, folding, and traversing monomorphic containers

papers A Git annex repository of papers

papers-we-love Papers from the computer science community to read and discuss.

psydiff a structural comparison tool for Python

pysonar2 an advanced static analyzer for Python

rubysonar a type inferencer and indexer for Ruby

shadowsocks Something happened

syslocal My personal system customation scripts and config files.

trifecta Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink

twister-core twister core / daemon

TypedFlow Typed frontend to TensorFlow and higher-order deep learning

vagrant-vbguest A Vagrant plugin to keep your VirtualBox Guest Additions up to date

vim-colorschemes one colorscheme pack to rule them all!

XX-Net a web proxy tool

yin the Yin programming language

ykanren miniKanren with a pure negation operator

yscheme a compiler from a subset of Scheme into X64

Jex V2EX member #45304, joined on 2013-09-12 11:30:27 +08:00

https://jex.im/

Deals info, including closed deals, is not hidden