Jex 最近的时间轴更新

regulex :construction: Regular Expression Excited!

PlainSite PlainSite：A Truely Hackable Static Site Generator.

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

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

Jex V2EX 第 45304 号会员，加入于 2013-09-12 11:30:27 +08:00

https://jex.im/

二手交易 相关的信息，包括已关闭的交易，不会被隐藏