-
ChezScheme Public
Forked from cisco/ChezSchemeChez Scheme
Scheme Apache License 2.0 UpdatedNov 1, 2025 -
binius Public
Forked from IrreducibleOSS/biniusA SNARK using towers of binary fields, implemented in Rust
Rust Apache License 2.0 UpdatedMar 26, 2025 -
eos_plugin_for_unity_upm Public
Forked from EOS-Contrib/eos_plugin_for_unity_upmspecially formated git repo for using with the UnityPackageManager
C# MIT License UpdatedFeb 25, 2025 -
stark-anatomy Public
Forked from aszepieniec/stark-anatomyTutorial for STARKs with supporting code in python
Python Apache License 2.0 UpdatedFeb 12, 2025 -
-
The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto. ⚡ 💌
Rust MIT License UpdatedApr 10, 2024 -
-
-
-
haskell-language-server Public
Forked from haskell/haskell-language-serverSuccessor of ghcide & haskell-ide-engine. One IDE to rule them all.
Haskell Apache License 2.0 UpdatedMay 13, 2021 -
projectile Public
Forked from bbatsov/projectileProject Interaction Library for Emacs
Emacs Lisp GNU General Public License v3.0 UpdatedMay 4, 2021 -
homebrew-emacsmacport Public
Forked from railwaycat/homebrew-emacsmacportEmacs mac port formulae for the Homebrew package manager
Ruby BSD 2-Clause "Simplified" License UpdatedMar 28, 2021 -
-
zinc Public
Forked from matter-labs/zincZinc Framework: the ZK circuit programming language and VM
Rust Apache License 2.0 UpdatedFeb 17, 2021 -
tiny-lang Public
Forked from effectfully/tiny-lang -
iub_2009_P523_framework Public
Forked from hgzhehe/iub_2009_P523_frameworkThis is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Keep and IUB faulty.I'll delete this repo immediately if there …
Scheme UpdatedJan 4, 2021 -
-
-
-
-
blazor-docs Public
Forked from telerik/blazor-docsPublic Documentation for Telerik UI for Blazor
JavaScript Apache License 2.0 UpdatedOct 21, 2020 -
haskell-language-server-bin Public
A PKGBUILD file for Arch Linux AUR packages
Shell UpdatedJul 28, 2020 -
swiper Public
Forked from abo-abo/swiperIvy - a generic completion frontend for Emacs, Swiper - isearch with an overview, and more. Oh, man!
-
haskell-hackerrank Public
Solutions to HackerRank problems in Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 5, 2019 -
equinox Public
Forked from jet/equinox.NET Event Sourcing library with EventStore, CosmosDb and integration testing backends. Focused at stream level; see https://github.com/jet/propulsion for projection and/or cross-stream facilities
F# Apache License 2.0 UpdatedAug 30, 2019 -
steelseries-arctis-5-pulseaudio-profile Public
Forked from DemonTPx/steelseries-arctis-5-pulseaudio-profilePulseaudio profile for SteelSeries Arctis 5
Makefile MIT License UpdatedMar 6, 2019 -
fsharpworkshop Public
Forked from jorgef/fsharpworkshopF# Workshop
F# Apache License 2.0 UpdatedFeb 6, 2019 -
homebrew-cask Public
Forked from Homebrew/homebrew-cask🍻 A CLI workflow for the administration of macOS applications distributed as binaries
Ruby BSD 2-Clause "Simplified" License UpdatedNov 16, 2018 -
-
{{ message }}