prozacchiwawa/idris-subleq

Stars
1
Language Idris
Created almost 4 years ago
Updated over 3 years ago

prozacchiwawa/idris-subleq

prozacchiwawa

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An exploration of a subleq machine whose type reflects its state

elm-basic-compile

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

chia-checkers

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

idris-barehw-experiment

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

elm-json-codec

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

gallant12x22-lineart

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

elm-worker-runner-example

Minimal code for node and rhino for running an elm worker

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

ml-stow

A quick and dirty imitation of gnu stow that isn't quite as pedantic

chia-singleton-test

A minimal complete code example for testing out a chia singleton on the blockchain

pygmalion

javascript interpreter in C# based on narcissus

elm-spa-transform

Repository going along with medium posts about generalizing elm code

ocaml-pad

Monolithic ocaml environment bundled as a single html file

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

effmodel

Simple package to make dealing with model and effect pairs more composable.

haskell-glyphic

A haskell library for parsing ascii-art drawings with boxes and connections.

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.

ochialisp

A somewhat authentic implementation of chialisp from the ground up using a different approach

elm-react-native-calc

A simple calculator test to go along with elm-native-ui

online-ascii-diagram-editor

An online ascii diagram editor

braceit

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

clang-tooling-style

An enforcer for some opinionated rules about coupling in C++

simple-elf-nm-in-csharp

Exercise in C styled C#

icfp2020-fsharp-starter-pack

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

ats-christmas-2023

My dos christmas card for 2023 in ATS

fstar-bucklescript-experiment

Experiment to make a project skeleton for f* targeting js.

elm-lightbox

A lightbox html editor with an overlay image in elm

reactos-vs-win-stdole

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

CSConsole

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

breathclock

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