-
analytic-stacks Public
Forked from ysulyma/analytic-stacksCrowd-sourced notes for the Clausen-Scholze course on Analyic Stacks
TeX UpdatedMay 27, 2025 -
Coq-HoTT Public
Forked from HoTT/Coq-HoTTA Coq library for Homotopy Type Theory
Coq Other UpdatedSep 21, 2024 -
A collection of topological data analysis links, frameworks, libraries and software. Inspired by awesome projects line.
-
math-classes Public
Forked from rocq-community/math-classesA library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
Coq MIT License UpdatedJul 31, 2024 -
lean4game Public
Forked from leanprover-community/lean4gameServer to host lean games.
TypeScript GNU General Public License v3.0 UpdatedJul 28, 2024 -
opentap Public
Forked from opentap/opentapThis is the code for the base OpenTAP package. See https://opentap.io. This includes the OpenTap.dll (base classes and sequencer), OpenTap.Package.dll (package manager), tap.exe (CLI) and OpenTap.P…
C# Other UpdatedJul 24, 2024 -
agda2hs Public
Forked from agda/agda2hsCompiling Agda code to readable Haskell
Agda MIT License UpdatedJul 23, 2024 -
con-nf Public
Forked from leanprover-community/con-nfA formal consistency proof of Quine's set theory New Foundations
Lean UpdatedJul 16, 2024 -
-
package-the-module-lp-author Public
Forked from manning-liveproject/package-the-module-lp-authorRepository for liveProject: Package the Module
PowerShell UpdatedDec 19, 2023 -
test-and-analyze-code-lp-author Public
Forked from manning-liveproject/test-and-analyze-code-lp-authorRepository for liveProject: Test and Analyze Code
PowerShell UpdatedDec 17, 2023 -
build-a-module-lp-author Public
Forked from manning-liveproject/build-a-module-lp-authorRepository for liveProject: Build a Module
PowerShell UpdatedDec 12, 2023 -
cairo-zig Public
Forked from keep-starknet-strange/ziggy-starkdust⚡ Cairo VM in Zig ⚡
Zig MIT License UpdatedNov 15, 2023 -
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedNov 6, 2023 -
graaf Public
Forked from bobluppes/graafA general-purpose lightweight C++ graph library
C++ MIT License UpdatedOct 19, 2023 -
catalyst Public
Forked from PennyLaneAI/catalystA JIT compiler for hybrid quantum programs in PennyLane
-
PyDP Public
Forked from OpenMined/PyDPThe Python Differential Privacy Library. Built on top of: https://github.com/google/differential-privacy
Python Apache License 2.0 UpdatedAug 22, 2023 -
PSI Public
Forked from OpenMined/PSIPrivate Set Intersection Cardinality protocol based on ECDH and Bloom Filters
C++ Apache License 2.0 UpdatedAug 22, 2023 -
Primes.jl Public
Forked from JuliaMath/Primes.jlPrime numbers in Julia
Julia Other UpdatedAug 21, 2023 -
ledger-n C342 anos-sdk Public
Forked from LedgerHQ/ledger-device-rust-sdkRust SDK for Ledger device applications
C Apache License 2.0 UpdatedAug 8, 2023 -
velvet Public
Forked from seatonullberg/velvet[WIP] Classical atomistic simulation engine with a focus on user-friendliness and extensibility
Rust MIT License UpdatedAug 8, 2023 -
gnuradio Public
Forked from gnuradio/gnuradioGNU Radio – the Free and Open Software Radio Ecosystem
C++ GNU General Public License v3.0 UpdatedAug 7, 2023 -
ring Public
Forked from briansmith/ringSafe, fast, small crypto using Rust
Assembly Other UpdatedAug 6, 2023 -
kernel-density-estimation Public
Forked from seatonullberg/kernel-density-estimationKernel density estimation in Rust.
Rust MIT License UpdatedAug 6, 2023 -
-
rust-secp256k1-zkp Public
Forked from mimblewimble/rust-secp256k1-zkpZKP fork for rust-secp256k1, adds wrappers for range proofs, pedersen commitments, etc
Rust Creative Commons Zero v1.0 Universal UpdatedNov 30, 2022 -
grin Public
Forked from mimblewimble/grinMinimal implementation of the Mimblewimble protocol.
Rust Apache License 2.0 UpdatedNov 30, 2022 -
ferrite-book Public
Forked from ferrite-rs/ferrite-bookRust Apache License 2.0 UpdatedNov 27, 2022 -
rust-app Public
Forked from LedgerHQ/app-boilerplate-rustA demo Rust app using the UI and SDK as crates.
Rust Apache License 2.0 UpdatedSep 13, 2022 -
verilator Public
Forked from verilator/verilatorVerilator open-source SystemVerilog simulator and lint system
C++ GNU Lesser General Public License v3.0 UpdatedJul 30, 2022
{{ message }}