Bitcoin Core integration/staging tree

Animated sprite editor & pixel art tool (Windows, macOS, Linux)

DyNet: The Dynamic Neural Network Toolkit

Lean Theorem Prover

Bridge API to connect with existing Java APIs.

Linear optimization software

Source codes of Discovering Modern C++

Wrapping python made easy

Unity Board Games: Chess, Xiangqi, Weiqi, Gomoku, Draughts, Checkers, Mine Sweeper, Solitaire,...

AutoCorpus is a set of utilities that enable automatic extraction of language corpora and language models from publicly available datasets. Autocorpus utilities follow the Unix design philosophy an…

Implementation of Maximum Cardinality Envy-Free Matching