stonebuddha's Stars
elliottslaughter/rust-gc-talk
A research intern talk at Mozilla Research, August 30, 2012
elliottslaughter/rust-gc-notes
Notes from implementing precise GC in Rust, summer 2012
clasp-developers/clasp
clasp Common Lisp environment
ivmai/bdwgc
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)
pyprob/pyprob
A probabilistic programming system for simulators and high-performance computing (HPC), based on PyTorch
arthaud/c2bf
Compiler from C to brainfuck
shinh/elvm
EsoLangVM Compiler Infrastructure
AndrasKovacs/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
andrejbauer/plzoo
Programming Languages Zoo
esumii/min-caml
moved from https://sourceforge.net/p/min-caml/code/
facebook/hhvm
A virtual machine for executing programs written in Hack.
nickmqb/muon
Modern low-level programming language
azdavis/millet
A language server for Standard ML.
SomewhatML/sml-compiler
A compiler for Standard ML, somewhat
PKUFlyingPig/cs-self-learning
计算机自学指南
ML-KULeuven/problog
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
hongseok-yang/probprog20
the-little-prover/j-bob
boystrange/FuSe
A simple library implementation of binary sessions
tov/shcaml
Caml-Shcaml: An Ocaml library for Unix shell programming
ocaml-community/ocamlscript
Write an OCaml script, run an optimized executable
babysor/MockingBird
🚀AI拟声: 5秒内克隆您的声音并生成任意语音内容 Clone a voice in 5 seconds to generate arbitrary speech in real-time
CMUAbstract/dino
Death Is Not an Option: the DINO task framework for energy-harvesting computing devices
CMUAbstract/ocelot
public repo for Ocelot code and benchmarks
mzini/gubs
constraint solver for polynomial inequalities
BinaryAnalysisPlatform/FrontC
An OCaml library providing a C parser and lexer
smarr/are-we-fast-yet
Are We Fast Yet? Comparing Language Implementations with Objects, Closures, and Arrays
analysis-tools-dev/static-analysis
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
aprove-developers/KoAT2-Releases
Complexity Analysis Tool for Integer Programs
SHoltzen/dice
Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)