-
-
bashcrawl Public
Mirror for https://gitlab.com/slackermedia/bashcrawl
Shell GNU General Public License v3.0 UpdatedAug 31, 2024 -
-
-
declarative-hydra-example Public
Forked from shlevy/declarative-hydra-exampleAn example illustrating declarative hydra projects
Nix UpdatedAug 15, 2024 -
hydra Public
Forked from NixOS/hydraHydra, the Nix-based continuous build system
Perl GNU General Public License v3.0 UpdatedAug 1, 2024 -
jepsen Public
Forked from jepsen-io/jepsenA framework for distributed systems verification, with fault injection
Clojure UpdatedJul 26, 2024 -
-
-
-
-
-
simplex-desktop Public archive
SimpleX Chat GUI built with Rust, Tauri and Yew
-
Verifairy Public
A Haskell implementation of VerifPal™, a system for describing and analysing cryptographic protocols
-
-
-
triton-vm-slides Public
Slides for Rust meetup talk: Programming on Triton VM
1 UpdatedApr 10, 2023 -
library-recommendations Public
Evaluating Open Source libraries for particular purposes
2 UpdatedJan 21, 2023 -
prime-field-benchmarks Public
Benchmarks for efficient prime-field arithmetic
-
-
evm-opcodes Public
Opcode types for Ethereum Virtual Machine (EVM)
-
twenty-first Public
Forked from Neptune-Crypto/twenty-firstCryptography implementations in Rust
Rust GNU General Public License v2.0 UpdatedOct 31, 2022 -
triton-vm Public
Forked from TritonVM/triton-vmTriton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
Rust Apache License 2.0 UpdatedOct 10, 2022 -
triton-vm.org Public
Forked from TritonVM/triton-vm.orgThe website for Triton VM.
HTML Apache License 2.0 UpdatedJul 28, 2022 -
lira Public
Lira is a fork of Sword, a financial derivatives smart-contract language for Ethereum
Haskell MIT License UpdatedApr 24, 2022 -
-
Turtle Public
Forked from NicholasSeward/TurtleAn implementation of turtle graphics in Java using a single file to allow for easy student use.
Java MIT License UpdatedMar 1, 2022 -
-
sword-proto Public
The smallest useful cross-blockchain derivatives smart contract language
Haskell UpdatedFeb 17, 2021 -
Sword Public
Forked from Sword-Smith/SwordSword — A financial derivative language for the blockchain
Haskell MIT License UpdatedFeb 16, 2021