Lists (2)
Stars
ZeroMQ core engine in C++, implements ZMTP/3.1
You like pytorch? You like micrograd? You love tinygrad! ❤️
Solidity, the Smart Contract Programming Language
Go implementation of the Ethereum protocol
Native, fast starting Clojure interpreter for scripting
Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests.
Jane Street Capital's standard library overlay
Gambit is an efficient implementation of the Scheme programming language.
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…
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…
A friendly programming language from the future
The core OCaml system: compilers, runtime system, base libraries
An introduction to ARM64 assembly on Apple Silicon Macs
AArch64 Instructions, Opcodes and Binary Encoding
Ping-Pong-like game in Assembly that works without OS
the first library to let you embed a developer agent in your own app!