Popular repositories Loading

1. elm-basic-compile elm-basic-compile Public

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

   JavaScript 19 4

2. chia-checkers chia-checkers Public

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

   Python 13 1

3. idris-barehw-experiment idris-barehw-experiment Public

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

   C 8

4. gxemul-rs6000-860 gxemul-rs6000-860 Public

   Tuned up version of gxemul targeting good enough emulation of the RS/6000 model 860 to run its own firmware

   C++ 6

5. elm-worker-runner-example elm-worker-runner-example Public

   Minimal code for node and rhino for running an elm worker

   JavaScript 5 1

6. elm-json-codec elm-json-codec Public

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

   Elm 5 1