dragonwasrobot Goto Github PK

adventof-code_2022

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

b.el

A byte manipulation library

brainfuck

A brainfuck interpreter written in Elm

chip-8

A CHIP-8 emulator written in Elm

dragonwasrobot

dragonwasrobot.github.io

My website.

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

ex_rerun

Rerun custom mix tasks on code modification

formal-language

A python package containing various constructs used in formal language theory, i.e. Finite Automatas, Push-down Automatas and Turing Machines.

formal-moessner

A formal study of Moessner's sieve

game-of-life

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

gesture-recognition

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

get-shit-done

Script for reducing distractions and improving focus

helm-bitbucket

A helm interface for searching Bitbucket

i18n-to-elm

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

json-schema-to-elm

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

json_schema

A library for parsing, inspecting and manipulating JSON Schema documents

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.

melpa

Recipes and build machinery for the biggest Emacs package repo

org-d20

Emacs minor mode for tabletop roleplaying games that use a d20

plug_rest

REST behaviour and Plug router for hypermedia web applications in Elixir

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.

simpl-lang

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

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

yasnippets-coq

Coq snippets for the Yasnippet emacs mode.