dragonwasrobot

learn-prolog-now-exercises

My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.

json-schema-to-elm

Generates Elm types, JSON decoders, JSON encoders and fuzz tests from JSON schema specifications

i18n-to-elm

Generates Elm types and functions from i18n key/value JSON files

chip-8

A CHIP-8 emulator written in Elm

json_schema

A library for parsing, inspecting and manipulating JSON Schema documents

brainfuck

A brainfuck interpreter written in Elm

simpl-lang

A simple language created in Coq, batteries and correctness proofs included.

gesture-recognition

Project for inferring various touch and object gestures using the TUIO protocol, CoffeeScript and node.js

helm-bitbucket

A helm interface for searching Bitbucket

yasnippets-coq

Coq snippets for the Yasnippet emacs mode.

adventOf-CODE_2022

25 days, 25 puzzles, 25 languages, surely I will regret this decision

dragonwasrobot.github.io

My website.

ex_rerun

Rerun custom mix tasks on code modification

formal-moessner

A formal study of Moessner's sieve

sicp-exercises

This is a collection of solutions to the exercises found in 'Structure and Interpretation of Computer Programs' by Harold Abelson, Gerald Jay Sussman and Julie Sussman.

b.el

A byte manipulation library

elixir-lokalise-api

Official Lokalise APIv2 interface for Elixir.

elixir_org

org-mode parser for Elixir

elm-i18n-example

elm-sortable-table

Sortable tables for whatever data you want to display

elm_compile

Easy elm compilation for mix projects

game-of-life

A CoffeeScript and HTML5 canvas implementation of Conway's Game of Life.

get-shit-done

Script for reducing distractions and improving focus

melpa

Recipes and build machinery for the biggest Emacs package repo

plug_rest

REST behaviour and Plug router for hypermedia web applications in Elixir

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

yasnippet-snippets

a collection of yasnippet snippets for many languages

dragonwasrobot

org-d20

Emacs minor mode for tabletop roleplaying games that use a d20

yasnippets-latex

LaTeX snippets for use with the yasnippet Emacs plugin