Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by sshine

A curated list of projects in awesome lists by sshine .

https://github.com/sshine/hs-jq

:beetle: Implementing jq in Haskell

haskell jq json

Last synced: 23 Oct 2024

https://github.com/sshine/evm-opcodes

Opcode types for Ethereum Virtual Machine (EVM)

hacktoberfest haskell

Last synced: 23 Oct 2024

https://github.com/sshine/sml-games

Various games for Moscow ML + MosGame (SDL bindings)

Last synced: 23 Oct 2024

https://github.com/sshine/notez

A simple, CLI-based note-taking app

Last synced: 23 Oct 2024

https://github.com/sshine/prime-field-benchmarks

Benchmarks for efficient prime-field arithmetic

Last synced: 23 Oct 2024

https://github.com/sshine/rfun

A subset of RFUN, a reversible functional language with algebraic types

Last synced: 23 Oct 2024

https://github.com/sshine/library-recommendations

Evaluating Open Source libraries for particular purposes

Last synced: 23 Oct 2024

https://github.com/sshine/triton-vm-slides

Slides for Rust meetup talk: Programming on Triton VM

Last synced: 23 Oct 2024

https://github.com/sshine/templates

Simon's Nix flake templates

Last synced: 23 Oct 2024

https://github.com/sshine/verifairy

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

Last synced: 23 Oct 2024

https://github.com/sshine/portunus

An SSH AuthorizedKeys Manager

Last synced: 23 Oct 2024

https://github.com/sshine/triton-vm-mini

A minimal implementation of Triton VM

Last synced: 23 Oct 2024

https://github.com/sshine/avampgen

A Vampire Character Sheet Manager

Last synced: 23 Oct 2024

https://github.com/sshine/author-committer

A demonstration that git author and committer are distinct metadata

Last synced: 23 Oct 2024

https://github.com/sshine/haskpress0

0th iteration of a minimalistic blog platform in Haskell

Last synced: 23 Oct 2024

https://github.com/sshine/diku-chat-net

A chat protocol under constant development. Create your client now!

Last synced: 23 Oct 2024

https://github.com/sshine/chinese-hs

评估一篇中文课文的 HSK 3.0 水平

Last synced: 23 Oct 2024

https://github.com/sshine/lira

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

Last synced: 23 Oct 2024

https://github.com/sshine/calc

A GMP-powered (Bignum) terminal calculator

Last synced: 23 Oct 2024

https://github.com/sshine/elm-hexmaze

Toying around with hexagonal mazes in Elm

Last synced: 23 Oct 2024

https://github.com/sshine/hello-hs

Hello!

Last synced: 23 Oct 2024

https://github.com/sshine/writing

Last synced: 23 Oct 2024

https://github.com/sshine/hello-rs

A Cargo generate workspace template

Last synced: 23 Oct 2024

https://github.com/sshine/single-lib

A single-lib workspace template for `cargo generate`

Last synced: 23 Oct 2024

https://github.com/sshine/keaturtle

Turtle Graphics in Java

Last synced: 23 Oct 2024

https://github.com/sshine/sshine

Last synced: 23 Oct 2024

https://github.com/sshine/ci-demo

Last synced: 23 Oct 2024

https://github.com/sshine/xsimonad

Manage my xmonad.hs with stack

Last synced: 23 Oct 2024

https://github.com/sshine/sword-proto

The smallest useful cross-blockchain derivatives smart contract language

Last synced: 23 Oct 2024

https://github.com/sshine/roborally

Playing around with tiles for the Robo Rally board game

Last synced: 23 Oct 2024

https://github.com/sshine/rock-spock

Last synced: 23 Oct 2024

https://github.com/sshine/playing-cards-hs

A representation of playing cards in Haskell

Last synced: 23 Oct 2024

https://github.com/sshine/langtech-rs

sshine's Rust language technology crates

Last synced: 23 Oct 2024

https://github.com/sshine/jq-workshop

Exercises, solutions and material for jq

Last synced: 23 Oct 2024