aa10000's repositories
boost
Super-project for modularized Boost
lodash
A modern JavaScript utility library delivering modularity, performance, & extras.
moonscript
:crescent_moon: A language that compiles to Lua
gcc-explorer
Run GCC (and other compilers) interactively from your web browser and experiment with its generated code
Onigmo
Onigmo is a regular expressions library forked from Oniguruma.
awesome-java-cn
Java资源大全中文版,包括开发库、开发工具、网站、博客、微信、微博等,由伯乐在线持续更新。
verdi
A framework for formally verifying distributed systems implementations in Coq
snabb
Snabb: Simple and fast packet networking
haxe
Haxe - The Cross-Platform Toolkit
cython
A Python to C compiler
stoke
STOKE: A stochastic superoptimizer and program synthesizer
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
tcl
The Tcl Core. (Mirror from tcl @ core.tcl.tk)
cJSON
Ultralightweight JSON parser in ANSI C
premake-core
Premake
tbox
A glib-like multi-platform c library
awesome-python-cn
Python资源大全中文版,包括:Web框架、网络爬虫、模板引擎、数据库、数据可视化、图片处理等,由伯乐在线持续更新。
CompCert
The CompCert C verified compiler
Aeron
Efficient reliable UDP unicast, UDP multicast, and IPC message transport
awesome-cpp-cn
C++ 资源大全中文版,标准库、Web应用框架、人工智能、数据库、图片处理、机器学习、日志、代码分析等
avian
Avian is a lightweight virtual machine and class library designed to provide a useful subset of Java's features, suitable for building self-contained applications.
scala
The Scala programming language
JikesRVM
Jikes RVM (Research Virtual Machine)
ceylon
The Ceylon compiler, language module, and command line tools
ack
The Amsterdam Compiler Kit
glibc
Unofficial mirror of sourceware glibc repository. Updated daily.
javaparser
Java 1.8 Parser and Abstract Syntax Tree for Java –
ecere-sdk
Ecere SDK (eC Language, Ecere IDE, Cross platform GUI, graphics, and more) — http://ec-lang.org —
re2c
lexer generator for C/C++