sorawee
Follow
-
-
nearley Public
Forked from kach/nearley📜🔜🌲 Simple, fast, powerful parser toolkit for JavaScript.
JavaScript MIT License UpdatedNov 13, 2024 -
cloudformation-cli Public
Forked from aws-cloudformation/cloudformation-cliThe CloudFormation Provider Development Toolkit allows you to author your own resource providers and modules that can be used by CloudFormation.
Python Apache License 2.0 UpdatedOct 11, 2024 -
acmart Public
Forked from borisveytsman/acmartACM consolidated LaTeX styles
TeX UpdatedSep 1, 2024 -
-
halo2-analyzer Public
Forked from quantstamp/halo2-analyzerSMT 2023 Submission; license pending
Rust UpdatedMay 9, 2024 -
-
-
-
-
drracket Public
Forked from racket/drracketDrRacket, IDE for Racket
Racket Other UpdatedMar 30, 2024 -
-
-
rosette Public
Forked from emina/rosetteThe Rosette solver-aided host language, sample solver-aided DSLs, and demos
Racket Other UpdatedMar 16, 2024 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Shell Creative Commons Zero v1.0 Universal UpdatedMar 13, 2024 -
pretty-expressive-ocaml Public
An implementation of "A Pretty Expressive Printer" in OCaml
-
Picus Public
Forked from Veridise/PicusAutomated verification of uniqueness property for ZKP circuits
Circom MIT License UpdatedMar 13, 2024 -
-
citra Public
Forked from PabloMK7/citraA Nintendo 3DS Emulator
C++ GNU General Public License v2.0 UpdatedMar 4, 2024 -
-
opam Public
Forked from ocaml/opamopam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
OCaml Other UpdatedFeb 19, 2024 -
-
ChezScheme Public
Forked from cisco/ChezSchemeChez Scheme
Scheme Apache License 2.0 UpdatedFeb 5, 2024 -
pretty-expressive Public
An implementation of "A Pretty Expressive Printer" in Racket
-
Reef Public
Forked from eniac/ReefReef: A zkSNARK system for proving that a committed document matches a regex
Rust GNU General Public License v3.0 UpdatedFeb 2, 2024 -
-
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
SMT Other UpdatedDec 19, 2023 -
circom Public
Forked from iden3/circomzkSnark circuit compiler
WebAssembly GNU General Public License v3.0 UpdatedDec 18, 2023 -
-
mdx Public
Forked from realworldocaml/mdxExecute code blocks inside your documentation
OCaml ISC License UpdatedDec 2, 2023