cjex Goto Github PK
Type: User
Location: China，上海
Blog: https://jex.im/
cjex's Projects
anthology
Jex's Code Anthology
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
cjex.github.io
Jex is dead
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
hol-light
HOL Light is an interactive theorem prover / proof checker. Automatically exported from code.google.com/p/hol-light
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.
plainsite
PlainSite：A Truely Hackable Static Site Generator.
plpapers
Programming Language Papers Bookmarks
psydiff
a structural comparison tool for Python
pysonar2
an advanced static analyzer for Python
regulex
:construction: Regular Expression Excited!
rubysonar
a type inferencer and indexer for Ruby
shadowsocks
Something happened
shunencode
🐶巷议，通过简单混淆来规避敏感词程序的审查
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
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.