-
-
-
-
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedAug 31, 2025 -
min-caml Public
Forked from esumii/min-camlmoved from https://sourceforge.net/p/min-caml/code/
OCaml Other UpdatedAug 31, 2025 -
jank Public
Forked from jank-lang/jankThe native Clojure dialect hosted on LLVM with seamless C++ interop.
C++ Mozilla Public License 2.0 UpdatedAug 29, 2025 -
-
orocksdb Public
Forked from o1-labs/orocksdbAn OCaml RocksDb binding using ocaml-ctypes
OCaml MIT License UpdatedMay 29, 2025 -
core Public
Forked from janestreet/coreJane Street Capital's standard library overlay
OCaml MIT License UpdatedMay 25, 2025 -
snarky Public
Forked from o1-labs/snarkyOCaml DSL for verifiable computation
OCaml MIT License UpdatedMay 25, 2025 -
ocaml-sodium Public
Forked from o1-labs/ocaml-sodiumBinding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl
OCaml UpdatedMay 22, 2025 -
mina-podman-scripts Public
Scripts for managing MINA with podman
Shell Apache License 2.0 UpdatedMay 21, 2025 -
-
core_unix Public
Forked from janestreet/core_unixUnix-specific portions of Core
OCaml MIT License UpdatedMay 9, 2025 -
-
ocaml-serialization-bench Public
Benchmarking ocaml serialization solutions
OCaml MIT License UpdatedMar 12, 2025 -
mina Public
Forked from MinaProtocol/minaMina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
OCaml Apache License 2.0 UpdatedFeb 21, 2025 -
o1js Public
Forked from o1-labs/o1jsTypeScript framework for zk-SNARKs and zkApps
TypeScript Apache License 2.0 UpdatedFeb 10, 2025 -
wgpu-learn Public
My implementation of examples in https://sotrh.github.io/learn-wgpu/
Rust Creative Commons Zero v1.0 Universal UpdatedFeb 5, 2025 -
learn-wgpu-fix Public
Forked from sotrh/learn-wgpuGuide for using gfx-rs's wgpu library.
Rust MIT License UpdatedFeb 5, 2025 -
-
oie Public
Forked from ocaml-multicore/eioEffects-based direct-style IO for multicore OCaml forked
OCaml Other UpdatedJan 27, 2025 -
InfiniTensor Public
Forked from InfiniTensor/InfiniTensorC++ Apache License 2.0 UpdatedJan 16, 2025 -
TinyInfiniTensor-Template Public
Forked from LearningInfiniTensor/TinyInfiniTensorC++ Apache License 2.0 UpdatedJan 13, 2025 -
-
tt_zoo Public
Type Theories Playground in OCaml
OCaml GNU General Public License v3.0 UpdatedJan 8, 2025 -
-
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
LLVM Other UpdatedDec 15, 2024 -
rchain Public
A simple implementation of Naivecoin
Rust GNU General Public License v3.0 UpdatedDec 14, 2024 -
ez Public
An ez language implemented with OCaml, Cpp and LLVM.
{{ message }}