Pinned Loading

1. hs-jq hs-jq Public

   🪲 Implementing jq in Haskell

   Haskell 22 4

2. evm-opcodes evm-opcodes Public

   Opcode types for Ethereum Virtual Machine (EVM)

   Haskell 6 1

3. web-sys-turtles web-sys-turtles Public

   🐢 Turtle Graphics on HTML Canvas using web-sys (Rust, WebAssembly) 🦀

   Rust

4. TritonVM/triton-vm TritonVM/triton-vm Public

   Triton 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 255 43

5. lira lira Public

   Lira is a fork of Sword, a financial derivatives smart-contract language for Ethereum

   Haskell

6. terranix/terranix terranix/terranix Public

   terranix is a terraform.json generator with a nix-like feeling

   Nix 344 42