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 42

5. nix-tools/website nix-tools/website Public

   The nix.tools website

   HTML 1

6. lira lira Public

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

   Haskell