- All languages
- APL
- Agda
- Assembly
- BASIC
- Bikeshed
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- DIGITAL Command Language
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- Fennel
- Forth
- GCC Machine Description
- Go
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Mathematica
- Mojo
- Nim
- Nix
- OCaml
- Objective-C
- Perl
- Python
- R
- Raku
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Scala
- Shell
- Solidity
- Starlark
- Swift
- SystemVerilog
- TLA
- Tcl
- TeX
- TypeScript
- V
- Vala
- Verilog
- Vue
- WebAssembly
- Zig
Starred repositories
8
stars
written in Zig
Clear filter
The financial transactions database designed for mission critical safety and performance.
A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.
Minimalistic hypervisor built on KVM, coded with Zig.