Stars
Rope Integrated Development and Simulation Environment (IDSE) for the IBM 1401.
Go language interface to GMP - GNU Multiprecision Library (golang)
Corda is an open source blockchain project, designed for business from the start. Only Corda allows you to build interoperable blockchain networks that transact in strict privacy. Corda's smart con…
Mirror of the release branches for Tezos, a self-amending cryptographic ledger
Hyperledger Fabric is an enterprise-grade permissioned distributed ledger framework for developing solutions and applications. Its modular and versatile design satisfies a broad range of industry u…
Core repository for Sawtooth Distributed Ledger
Wiki-like CTF write-ups repository, maintained by the community. 2016
🎓 Path to a free self-taught education in Computer Science!
Virtual File System for Git: Enable Git at Enterprise Scale
GRR Rapid Response: remote live forensics for incident response
Python programs, usually short, of considerable difficulty, to perfect particular skills.
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
A web framework for building highly usable healthcare applications.
A transparent, highly scalable and cryptographically verifiable data store.
Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
Fatal is a library for fast prototyping software in modern C++. It provides facilities to enhance the expressive power of C++. The library is heavily based on template meta-programming, while keepi…
A Python module for decorators, wrappers and monkey patching.
Adds support for creating state machines for attributes on any Ruby class
Real-time Coinbase Exchange (GDAX) order book + basic market maker bot
Order Book Matching Engine for Stock Exchanges (1us latency for matching)
A simple financial trading matching engine. Built to learn more about how they work.