anoma / alucardView external linksLinks
A common lisp DSL for writing zero knowledge circuits
☆18Oct 19, 2022Updated 3 years ago
Alternatives and similar repositories for alucard
Users that are interested in alucard are comparing it to the libraries listed below
Sorting:
- A generalized fully trustless Ethereum bridge for sovereign chains.☆14Oct 20, 2023Updated 2 years ago
- A Clojure dataflow library for building application models that run by themselves. It's alive!(tm) Starting out as a literal translation …☆21Apr 16, 2022Updated 3 years ago
- Image processing DSL implemented in C-Mera☆10Dec 12, 2016Updated 9 years ago
- Transclusion of files in emacs☆15Jan 27, 2020Updated 6 years ago
- Formalization of Typhon protocol☆30Dec 20, 2024Updated last year
- Namada indexer to be used in conjunction with the namada interface☆49Dec 19, 2025Updated last month
- emacs for data☆12Aug 1, 2018Updated 7 years ago
- Material Web Components for Hoplon☆13Jul 10, 2017Updated 8 years ago
- ☆19Updated this week
- Entity management on top of key-value stores☆23Jan 16, 2026Updated 3 weeks ago
- A clojure wrapper for webgpu-native☆14Dec 28, 2024Updated last year
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Mar 24, 2019Updated 6 years ago
- A multiplayer crossword puzzle generator. Built with Clojure and Firebase.☆17Jun 25, 2018Updated 7 years ago
- A Minimal Implementation of Incremental Computation in Clojure and ClojureScript☆17Sep 29, 2019Updated 6 years ago
- ☆13Jul 27, 2015Updated 10 years ago
- A native portability library for access to gamepads and joystick input devices☆15Aug 13, 2025Updated 6 months ago
- Simple raycasting game engine☆12Oct 31, 2019Updated 6 years ago
- The Juvix standard library☆27Jan 26, 2026Updated 2 weeks ago
- A Renjin wrapper to allow Clojure programs to easily read R's RData file format.☆15Sep 20, 2022Updated 3 years ago
- Clojure console editor written in pure C with REPL support, syntax highlighting and search☆18Nov 17, 2018Updated 7 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆16May 29, 2015Updated 10 years ago
- Common Lisp system for decoding public JSON Web Keys (JWK)☆17Jul 10, 2023Updated 2 years ago
- ☆17Jul 25, 2019Updated 6 years ago
- Simple color library for Common Lisp☆29Mar 7, 2018Updated 7 years ago
- EDN reader for Common Lisp☆18Oct 9, 2024Updated last year
- Automatic generator for ASDF's .asd files☆18Dec 21, 2018Updated 7 years ago
- An implementation of a DKG protocol for front-running protection on Anoma.☆84Feb 22, 2023Updated 2 years ago
- Clojure(Script) implementations of the self-describing multiformat specs☆21Mar 18, 2025Updated 10 months ago
- SNARK - SRI's New Automated Reasoning Kit☆19Feb 24, 2025Updated 11 months ago
- Project builder for Clojure projects with tools.deps☆19Oct 31, 2020Updated 5 years ago
- Hygiene-compatible Lisp dialect embedded in CL☆21Dec 2, 2023Updated 2 years ago
- The Clojure programming language☆44Jun 19, 2023Updated 2 years ago
- ☆27Sep 11, 2021Updated 4 years ago
- ☆22Jul 26, 2018Updated 7 years ago
- Don't use this project anymore, use https://github.com/clj-commons/rewrite-clj instead. Rewrite-cljc is dead, long live rewrite-clj!☆25Mar 10, 2021Updated 4 years ago
- Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits☆162Aug 29, 2023Updated 2 years ago
- Library of common helpful gpu functions☆18Aug 31, 2019Updated 6 years ago
- The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.☆92Oct 14, 2025Updated 4 months ago
- Functional first-aid for JavaScript/jQuery code☆23Dec 4, 2015Updated 10 years ago