Skip to content
View sshine's full-sized avatar

Block or report sshine

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
  • keaturtle Public template

    Turtle Graphics in Java

    Java Updated Sep 1, 2024
  • bashcrawl Public

    Mirror for https://gitlab.com/slackermedia/bashcrawl

    Shell GNU General Public License v3.0 Updated Aug 31, 2024
  • Microservices with Docker Compose

    Updated Aug 28, 2024
  • templates Public

    Simon's Nix flake templates

    Nix 1 Updated Aug 17, 2024
  • An example illustrating declarative hydra projects

    Nix Updated Aug 15, 2024
  • hydra Public

    Forked from NixOS/hydra

    Hydra, the Nix-based continuous build system

    Perl GNU General Public License v3.0 Updated Aug 1, 2024
  • jepsen Public

    Forked from jepsen-io/jepsen

    A framework for distributed systems verification, with fault injection

    Clojure Updated Jul 26, 2024
  • Roasty the Discord bot

    Rust Updated Jun 30, 2024
  • ci-demo Public

    Rust Updated Jun 26, 2024
  • portunus Public

    An SSH AuthorizedKeys Manager

    Rust 1 Updated Jun 22, 2024
  • single-lib Public

    A single-lib workspace template for `cargo generate`

    Rust Updated Feb 11, 2024
  • Emacs Lisp Updated Jan 15, 2024
  • simplex-desktop Public archive

    SimpleX Chat GUI built with Rust, Tauri and Yew

    Rust 16 GNU Affero General Public License v3.0 Updated Sep 29, 2023
  • Verifairy Public

    A Haskell implementation of VerifPal™, a system for describing and analysing cryptographic protocols

    Haskell 1 1 Updated May 29, 2023
  • hello-rs Public

    A Cargo generate workspace template

    Rust Updated May 23, 2023
  • A minimal implementation of Triton VM

    Rust 1 Updated May 23, 2023
  • Slides for Rust meetup talk: Programming on Triton VM

    1 Updated Apr 10, 2023
  • Evaluating Open Source libraries for particular purposes

    2 Updated Jan 21, 2023
  • Benchmarks for efficient prime-field arithmetic

    Rust 3 Updated Nov 14, 2022
  • Rust Updated Nov 12, 2022
  • evm-opcodes Public

    Opcode types for Ethereum Virtual Machine (EVM)

    Haskell 6 1 MIT License Updated Nov 5, 2022
  • Cryptography implementations in Rust

    Rust GNU General Public License v2.0 Updated Oct 31, 2022
  • triton-vm Public

    Forked from TritonVM/triton-vm

    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 Apache License 2.0 Updated Oct 10, 2022
  • The website for Triton VM.

    HTML Apache License 2.0 Updated Jul 28, 2022
  • lira Public

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

    Haskell MIT License Updated Apr 24, 2022
  • hs-jq Public

    🪲 Implementing jq in Haskell

    Haskell 20 4 Updated Apr 14, 2022
  • Turtle Public

    Forked from NicholasSeward/Turtle

    An implementation of turtle graphics in Java using a single file to allow for easy student use.

    Java MIT License Updated Mar 1, 2022
  • hello-hs Public template

    Hello!

    Haskell Updated Feb 12, 2022
  • sword-proto Public

    The smallest useful cross-blockchain derivatives smart contract language

    Haskell Updated Feb 17, 2021
  • Sword Public

    Forked from Sword-Smith/Sword

    Sword — A financial derivative language for the blockchain

    Haskell MIT License Updated Feb 16, 2021