-
regulex Public
🚧 Regular Expression Excited!
-
-
syslocal Public
My personal system customation scripts and config files.
Emacs Lisp UpdatedSep 7, 2019 -
-
vim-colorschemes Public
Forked from flazz/vim-colorschemesone colorscheme pack to rule them all!
Vim Script UpdatedSep 6, 2019 -
PlainSite Public archive
PlainSite：A Truely Hackable Static Site Generator.
-
ShunEncode Public archive
🐶巷议，通过简单混淆来规避敏感词程序的审查
-
-
Idris-dev Public
Forked from idris-lang/Idris-devA Dependently Typed Functional Programming Language
Haskell Other UpdatedDec 24, 2017 -
-
TypedFlow Public
Forked from GU-CLASP/TypedFlowTyped frontend to TensorFlow and higher-order deep learning
Haskell GNU Lesser General Public License v3.0 UpdatedDec 20, 2017 -
mono-traversable Public
Forked from snoyberg/mono-traversableType classes for mapping, folding, and traversing monomorphic containers
Haskell UpdatedMar 8, 2017 -
basic-prelude Public
Forked from snoyberg/basic-preludeAn enhanced core prelude, meant for building up more complete preludes on top of.
Haskell MIT License UpdatedMar 3, 2017 -
trifecta Public
Forked from ekmett/trifectaParser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink
Haskell Other UpdatedFeb 4, 2017 -
-
-
vagrant-vbguest Public
Forked from dotless-de/vagrant-vbguestA Vagrant plugin to keep your VirtualBox Guest Additions up to date
Ruby MIT License UpdatedMay 12, 2016 -
ChezScheme Public
Forked from cisco/ChezSchemeChez Scheme
Scheme Apache License 2.0 UpdatedApr 26, 2016 -
-
babel-plugin-closure-elimination Public
Forked from codemix/babel-plugin-closure-eliminationA Babel plugin which eliminates closures from your JavaScript wherever possible.
JavaScript MIT License UpdatedSep 16, 2015 -
shadowsocks Public
Forked from shadowsocks/shadowsocksSomething happened
Python Apache License 2.0 UpdatedAug 20, 2015 -
hol-light Public
HOL Light is an interactive theorem prover / proof checker. Automatically exported from code.google.com/p/hol-light
-
-
twister-core Public
Forked from miguelfreitas/twister-coretwister core / daemon
C++ MIT License UpdatedDec 22, 2014 -
papers-we-love Public
Forked from papers-we-love/papers-we-lovePapers from the computer science community to read and discuss.
1 UpdatedDec 12, 2014 -
-
fsharp-trifecta Public
Forked from pocketberserker/fsharp-trifectaForked from pocketberserker/fsharp-trifecta
F# Other UpdatedOct 5, 2014 -
ermine-parser Public
Forked from ermine-language/ermine-parserParser combinator library in Scala
Scala Other UpdatedSep 30, 2014 -
ManagedRuntimeInitiative Public
Forked from GregBowyer/ManagedRuntimeInitiativeThe 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 en…
Java UpdatedAug 15, 2014 -
psydiff Public
Forked from zacker330/psydiffa structural comparison tool for Python
Python GNU General Public License v3.0 UpdatedJun 24, 2014
{{ message }}