jtcoolen's Stars
LFDT-Lockness/udigest
Unambiguous hashing of structured data in Rust
argumentcomputer/sphinx
An observatory fork of SP1 (contact: @huitseeker)
drand/drand
🎲 A Distributed Randomness Beacon Daemon - Go implementation
thofma/Hecke.jl
Computational algebraic number theory
fplll/fplll
Lattice algorithms using floating-point arithmetic
fplll/g6k
The General Sieve Kernel
open-quantum-safe/liboqs
C library for prototyping and experimenting with quantum-resistant cryptography
nasa/pvslib
NASA PVS Library of Formal Developments
SRI-CSL/PVS
The People's Verification System
EmbarkStudios/rust-gpu
🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
reilabs/proven-zk
A support library for working with zero knowledge cryptography in Lean 4.
VictorTaelin/Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
andrejbauer/plzoo
Programming Languages Zoo
minad/andromeda.hs
This is a direct port of Andrej Bauer's dependent type theory implementation from OCaml to Haskell
cmaes/miniml
Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
CharlesAverill/proofchat
A verified(?) TCP client/server chat application
pikatchu/LinearML
Functional language for parallel programming
jech/storrent
An implementation of the BitTorrent protocol that is optimised for streaming media.
jech/galene
The Galène videoconference server
ProvableHQ/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
kyutai-labs/moshi
ocaml-multicore/eio
Effects-based direct-style IO for multicore OCaml
ocsigen/quickstart-guide
camlspotter/zukelang
Zero Knowledge LANGuage in OCaml
avigad/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
janhq/jan
Jan is an open source alternative to ChatGPT that runs 100% offline on your computer. Multiple engine support (llama.cpp, TensorRT-LLM)
open-webui/open-webui
User-friendly AI Interface (Supports Ollama, OpenAI API, ...)
zshipko/futhark-bindgen
A Futhark binding generator for Rust and OCaml
grin-compiler/grin
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
privacy-scaling-explorations/chiquito
DSL for Halo2 circuits