Simon Shine (sshine)

sshine

Geek Repo

Company:@nerve-smart-systems

Location:Denmark

Home Page:https://simonshine.dk/

Github PK Tool:Github PK Tool


Organizations
nerve-smart-systems

Simon Shine's repositories

hs-jq

:beetle: Implementing jq in Haskell

simplex-desktop

SimpleX Chat GUI built with Rust, Tauri and Yew

Language:RustLicense:AGPL-3.0Stargazers:16Issues:2Issues:5

evm-opcodes

Opcode types for Ethereum Virtual Machine (EVM)

Language:HaskellLicense:MITStargazers:6Issues:2Issues:2

prime-field-benchmarks

Benchmarks for efficient prime-field arithmetic

Language:RustStargazers:3Issues:1Issues:0

library-recommendations

Evaluating Open Source libraries for particular purposes

noir

Noir is a domain specific language for zero knowledge proofs

License:Apache-2.0Stargazers:1Issues:0Issues:0

portunus

An SSH AuthorizedKeys Manager

Language:RustStargazers:1Issues:1Issues:0

triton-vm-mini

A minimal implementation of Triton VM

Language:RustStargazers:1Issues:1Issues:0

triton-vm-slides

Slides for Rust meetup talk: Programming on Triton VM

Verifairy

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

Language:HaskellStargazers:1Issues:3Issues:0

author-committer

A demonstration that git author and committer are distinct metadata

Stargazers:0Issues:1Issues:0

chinese-worksheet-generator

Chinese Worksheet Generator

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

chumsky

Write expressive, high-performance parsers with ease.

License:MITStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0
Language:Emacs LispStargazers:0Issues:2Issues:0

create-alpine-disk-image

Create cloud-init enabled Alpine disk images for physical machines (PCs & RPIs), VMs, and Cloud servers

Language:ShellLicense:GPL-2.0Stargazers:0Issues:0Issues:0

hello-hs

Hello!

Language:HaskellStargazers:0Issues:2Issues:0

hello-rs

A Cargo generate workspace template

Language:RustStargazers:0Issues:1Issues:0

irc

the irc crate – usable, async IRC for Rust

Language:RustLicense:MPL-2.0Stargazers:0Issues:0Issues:0

kagi-docs

Documentation for products made by Kagi Inc

Stargazers:0Issues:0Issues:0

lira

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

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0
Language:RustStargazers:0Issues:1Issues:0

roasty-discord-bot

Roasty the Discord bot

Language:RustStargazers:0Issues:0Issues:0

rs485-rs

Linux RS485 serial support for Rust

Language:RustLicense:MITStargazers:0Issues:0Issues:0

rvcr

Record-and-replay testing middleware for reqwest http client.

License:Apache-2.0Stargazers:0Issues:0Issues:0

single-lib

A single-lib workspace template for `cargo generate`

Language:RustStargazers:0Issues:0Issues:0
Stargazers:0Issues:2Issues:0

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.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

triton-vm.org

The website for Triton VM.

Language:HTMLLicense:Apache-2.0Stargazers:0Issues:0Issues:0

twenty-first

Cryptography implementations in Rust

Language:RustLicense:GPL-2.0Stargazers:0Issues:0Issues:0