arty (@prozacchiwawa)
github

prozacchiwawa

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

elm-basic-compile

The simplest interface I'm able to come up with to elm-compiler, supporting executing in javascript
JavaScript
19
star
2

chia-checkers

A checkers game in chialisp that ensures that it continues from a single launcher and allows only valid moves
Python
13
star
3

idris-barehw-experiment

A partial experiment building a 64-bit kernel in idris. Very WIP, some things just barely work
C
8
star
4

elm-json-codec

A library for creating combined encoders and decoders for Json in Elm, allowing composition.
Elm
5
star
5

gallant12x22-lineart

A line-art version of the gallant12x22 pixel font which looks nicer in more resolutions
5
star
6

elm-worker-runner-example

Minimal code for node and rhino for running an elm worker
JavaScript
5
star
7

elm-keccak

keccak (and sha3) implementation in elm based on the C source by Guido Bertoni, Joan Daemen, Michaรซl Peeters, Gilles Van Assche and Ronny Van Keer
Elm
5
star
8

ml-stow

A quick and dirty imitation of gnu stow that isn't quite as pedantic
OCaml
3
star
9

chia-singleton-test

A minimal complete code example for testing out a chia singleton on the blockchain
Python
3
star
10

pygmalion

javascript interpreter in C# based on narcissus
C#
3
star
11

elm-spa-transform

Repository going along with medium posts about generalizing elm code
Elm
2
star
12

ocaml-pad

Monolithic ocaml environment bundled as a single html file
OCaml
2
star
13

elm-react-native-experiment

An experiment pulling elm-native-ui forward to 0.17 and eliminating native js from it in favor of 0.17 style ports
Objective-C
2
star
14

effmodel

Simple package to make dealing with model and effect pairs more composable.
Elm
2
star
15

haskell-glyphic

A haskell library for parsing ascii-art drawings with boxes and connections.
Haskell
2
star
16

private-dht-mesh

A mesh network created using a simple DHT implementation. Endpoints may communicate over the connected mesh or directly, depending on what's possible.
F#
2
star
17

ochialisp

A somewhat authentic implementation of chialisp from the ground up using a different approach
OCaml
2
star
18

elm-react-native-calc

A simple calculator test to go along with elm-native-ui
Elm
2
star
19

online-ascii-diagram-editor

An online ascii diagram editor
OCaml
2
star
20

braceit

A very simple parser that rejects the input if any 'if', 'else', 'while' or 'for' statements are not braced properly. Ignores preprocessor directives.
Python
1
star
21

clang-tooling-style

An enforcer for some opinionated rules about coupling in C++
C++
1
star
22

simple-elf-nm-in-csharp

Exercise in C styled C#
C#
1
star
23

icfp2020-fsharp-starter-pack

ICFP 2020 starter pack for F# using the csharp docker image
F#
1
star
24

idris-subleq

An exploration of a subleq machine whose type reflects its state
Idris
1
star
25

ats-christmas-2023

My dos christmas card for 2023 in ATS
ATS
1
star
26

fstar-bucklescript-experiment

Experiment to make a project skeleton for f* targeting js.
OCaml
1
star
27

elm-lightbox

A lightbox html editor with an overlay image in elm
Elm
1
star
28

reactos-vs-win-stdole

A comparison of windows vs reactos stdole made by creating .net implibs and diffing them
1
star
29

CSConsole

C# fancy console window for windows from back in the day
C#
1
star
30

breathclock

An android live wallpaper that draws the current time on a frosty window. Not great code yet, but functional.
Java
1
star