jmanuel1

concat

A poorly named Python-based concatenative programming language.

idris-stuff

Things I try to do in Idris.

todoer

Automatically add an email to your local todo.txt when you star it.

html-slide-template

My reveal.js slide template, based on the Google Slides Paradigm theme

personal-website

Some guy's website.

atom-language-idris

A Idris Mode for Atom.io

dinogame

Web game, clone of Chrome's dinosaur game.

elisp.js

Elisp to JS transpiler

flight-manual.atom.io

📖 Documentation for Atom, generated by nanoc, hosted by GitHub Pages

gat

Partial git implementation. See https://wyag.thb.lt.

hmviz

idr-pure-prolog

Embeded Prolog DSL written in Idris. Based on github.com/kfl/pure-prolog.

idris-micronaut

Micronaut Idris -micronaut Application

interviewbot

Like a whiteboard challenge, except more useless.

jmanuel1

return self.about()

kilo

https://viewsourcecode.org/snaptoken/kilo/index.html

koka

Koka language compiler and interpreter

learn-tla-plus

Going through Hillel Wayne's Learn TLA+ tutorial https://www.learntla.com/index.html

linter-prolog

ll

"Reference Counting as a Computational Interpretation of Linear Logic" in Rust

material-search

A material design search website prototype.

nps-info-kiosk

A web app that could be a National Park Service info kiosk, built on Sails.js and Angular.

python-ast-visualizer

Graphviz visualizations of Python ASTs

Radiant

A weather app developed in React Native. It is the React Native version of SwiftWeather.

redacted-lang

An anomolous programming language.

sust-modeling

synthesis

Program synthesis stuff, uses Rosette

tcs4

https://core.ac.uk/download/pdf/82173346.pdf

tinyos

A tiny OS kernel written in Rust

what-ails-us-cities

Example App using pixiJS and Typescript bundled with parcel