Pinned Repositories
evm-opcodes
Opcode types for Ethereum Virtual Machine (EVM)
hs-jq
:beetle: Implementing jq in Haskell
library-recommendations
Evaluating Open Source libraries for particular purposes
nix-book
The Nix Package Manager
notez
A simple, CLI-based note-taking app
prime-field-benchmarks
Benchmarks for efficient prime-field arithmetic
simplex-desktop
SimpleX Chat GUI built with Rust, Tauri and Yew
sml-games
Various games for Moscow ML + MosGame (SDL bindings)
web-sys-turtles
🐢 Turtle Graphics on HTML Canvas using web-sys (Rust, WebAssembly) 🦀
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.
sshine's Repositories
sshine/hs-jq
:beetle: Implementing jq in Haskell
sshine/simplex-desktop
SimpleX Chat GUI built with Rust, Tauri and Yew
sshine/evm-opcodes
Opcode types for Ethereum Virtual Machine (EVM)
sshine/prime-field-benchmarks
Benchmarks for efficient prime-field arithmetic
sshine/library-recommendations
Evaluating Open Source libraries for particular purposes
sshine/portunus
An SSH AuthorizedKeys Manager
sshine/templates
Simon's Nix flake templates
sshine/triton-vm-mini
A minimal implementation of Triton VM
sshine/triton-vm-slides
Slides for Rust meetup talk: Programming on Triton VM
sshine/Verifairy
A Haskell implementation of VerifPal™, a system for describing and analysing cryptographic protocols
sshine/nix-book
The Nix Package Manager
sshine/web-sys-turtles
🐢 Turtle Graphics on HTML Canvas using web-sys (Rust, WebAssembly) 🦀
sshine/bashcrawl
Mirror for https://gitlab.com/slackermedia/bashcrawl
sshine/ci-demo
sshine/ConfigurationFiles
sshine/declarative-hydra-example
An example illustrating declarative hydra projects
sshine/eka
Unity Through Excellence
sshine/hashimon-threads
sshine/hello-node-nix
sshine/hello-rs
A Cargo generate workspace template
sshine/hello-world
sshine/hydra
Hydra, the Nix-based continuous build system
sshine/jepsen
A framework for distributed systems verification, with fault injection
sshine/keaturtle
Turtle Graphics in Java
sshine/microservices
Microservices with Docker Compose
sshine/nixpkgs
Nix Packages collection & NixOS
sshine/roasty-discord-bot
Roasty the Discord bot
sshine/single-lib
A single-lib workspace template for `cargo generate`
sshine/sish-2024-jpa-one-to-many
sshine/spring-integration
Spring Integration provides an extension of the Spring programming model to support the well-known Enterprise Integration Patterns (EIP)