Pinned Repositories
abseil-segfault
app-ethereum-zk
Ethereum wallet application for Ledger devices
bazel-toolchain
LLVM toolchain for bazel
bazel-zig-cc
capnp-release
era-debug
era-zk_evm
Out-of-circuit zkEVM implementation
era-zkevm_opcode_defs
Definitions of zkEVM opcodes (primary dependency for all other repos)
fontconfig
pyramid_jinja2
Jinja2 templating system bindings for the Pyramid web framework
pompon0's Repositories
pompon0/pyramid_jinja2
Jinja2 templating system bindings for the Pyramid web framework
pompon0/abseil-segfault
pompon0/app-ethereum-zk
Ethereum wallet application for Ledger devices
pompon0/bazel-toolchain
LLVM toolchain for bazel
pompon0/bazel-zig-cc
pompon0/capnp-release
pompon0/era-debug
pompon0/era-zk_evm
Out-of-circuit zkEVM implementation
pompon0/era-zkevm_opcode_defs
Definitions of zkEVM opcodes (primary dependency for all other repos)
pompon0/fontconfig
pompon0/gprusak
pompon0/hello-github-actions
pompon0/lazyparam_prover
pompon0/libxau
pompon0/libxcb
pompon0/libxkbcommon
keymap handling library for toolkits and window systems
pompon0/lp_modification
pompon0/prost-bug
pompon0/protoc-static
pompon0/rules_antlr
ANTLR rules for Bazel
pompon0/rules_haskell
Haskell rules for Bazel.
pompon0/rules_pkg
Bazel rules for creating packages of many types (zip, tar, deb, rpm, ...)
pompon0/samowydawcy-pixel
pompon0/tptp
Parser and pretty printer for the TPTP language
pompon0/TPTP-ANTLR4-Grammar
pompon0/tptp_parser
pompon0/traders_puzzle
pompon0/vampire
The Vampire Theorem Prover
pompon0/xorgproto