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
notez
A simple, CLI-based note-taking app
prime-field-benchmarks
Benchmarks for efficient prime-field arithmetic
rfun
A subset of RFUN, a reversible functional language with algebraic types
simplex-desktop
SimpleX Chat GUI built with Rust, Tauri and Yew
sml-games
Various games for Moscow ML + MosGame (SDL bindings)
Verifairy
A Haskell implementation of VerifPal™, a system for describing and analysing cryptographic protocols
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/noir
Noir is a domain specific language for zero knowledge proofs
sshine/portunus
An SSH AuthorizedKeys Manager
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/aws-doc-sdk-examples
Welcome to the AWS Code Examples Repository. This repo contains code examples used in the AWS documentation, AWS SDK Developer Guides, and more. For more information, see the Readme.md file below.
sshine/chinese-worksheet-generator
Chinese Worksheet Generator
sshine/chumsky
Write expressive, high-performance parsers with ease.
sshine/ci-demo
sshine/ConfigurationFiles
sshine/create-alpine-disk-image
Create cloud-init enabled Alpine disk images for physical machines (PCs & RPIs), VMs, and Cloud servers
sshine/hello-rs
A Cargo generate workspace template
sshine/irc
the irc crate – usable, async IRC for Rust
sshine/kagi-docs
Documentation for products made by Kagi Inc
sshine/lira
Lira is a fork of Sword, a financial derivatives smart-contract language for Ethereum
sshine/nielx
:boom: Niels'es NixOS configurations :boom:
sshine/regex-benchmarks
sshine/roasty-discord-bot
Roasty the Discord bot
sshine/rs485-rs
Linux RS485 serial support for Rust
sshine/rvcr
Record-and-replay testing middleware for reqwest http client.
sshine/single-lib
A single-lib workspace template for `cargo generate`
sshine/sshine
sshine/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/triton-vm.org
The website for Triton VM.
sshine/twenty-first
Cryptography implementations in Rust