Discover @sheganinans Open Source projects

Aistis Raulinaitis (@sheganinans)

sheganinans

Stars
67
Global Rank 277,550 (Top 10 %)
Followers 95
Following 621
Registered about 12 years ago
Most used languages

Rust
20.0 %

UrWeb 13.3 %

Haskell
13.3 %

JavaScript
6.7 %

Shen 6.7 %

Nix
6.7 %

OCaml
6.7 %

F#
6.7 %

Agda 6.7 %

J 6.7 %

Mercury 6.7 %
Location 🇺🇸 United States
Country Total Rank 58,918
Country Ranking

Shen 3

UrWeb 4

J 5

Mercury 13

Agda 37

F#
110

Nix
888

Haskell
929

OCaml
953

Rust
5,271

Smoosh

A Blazing Fast, Bit-Oriented Serializer

urweb_deep_dive

WIP: Presentation turned blog series: Building the simplest possible thing over and over again.

pres

My old Haskell presentation, still some good bits.

pfpl-shen

Practical Foundations in Programming Languages by Robert Harper in Shen

Static-Dimensions

A statically typed dimensional analysis calculator written in Agda.

secret_hitler

Secret Hitler implemented with Ur/Web

J-Automata

Old college AI/Alife project: An implementation of the 8-neighbor 2D cellular automata that can accept an arbitrary binary ruleset. Written in 3 lines of J.

stockfighter

Complete Rust API for StockFighter

fact_table_utils

Mercury fact_table utils

OmegaSq

OmegaSq is a ClojureScript Canvas Visual Toy in which 3 trefoil knots have additive rotational vectors applied in a sequential self-dependent fashion, creating a pleasing animation that is possibly non-repeating, but more likely finite and very large. (Best viewed in Chrome)

urweb-rs

Rust bindings to Ur/Web header file.

x86-Reference

Takes the x86 reference from http://ref.x86asm.net/ and hoovers it up into a nice Haskell ADT.

QVM-ocaml-mini

A Simple Quantum Virtual Machine, implemented in OCaml

marky

MCMC-based time series generation utility for CSV files

sheganinans

config