dragonwasrobot
Computer scientist / functional polyglot programmer. Staff Software Engineer at Doccla. Enjoys Elixir, Elm, and Emacs.
DocclaDenmark
Pinned Repositories
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
formal-moessner
A formal study of Moessner's sieve
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.
simpl-lang
A simple language created in Coq, batteries and correctness proofs included.
dragonwasrobot's Repositories
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.
dragonwasrobot/json-schema-to-elm
Generates Elm types, JSON decoders, JSON encoders and fuzz tests from JSON schema specifications
dragonwasrobot/i18n-to-elm
Generates Elm types and functions from i18n key/value JSON files
dragonwasrobot/json_schema
A library for parsing, inspecting and manipulating JSON Schema documents
dragonwasrobot/chip-8
A CHIP-8 emulator written in Elm
dragonwasrobot/brainfuck
A brainfuck interpreter written in Elm
dragonwasrobot/simpl-lang
A simple language created in Coq, batteries and correctness proofs included.
dragonwasrobot/adventOf-CODE_2022
25 days, 25 puzzles, 25 languages, surely I will regret this decision
dragonwasrobot/formal-moessner
A formal study of Moessner's sieve
dragonwasrobot/gesture-recognition
Project for inferring various touch and object gestures using the TUIO protocol, CoffeeScript and node.js
dragonwasrobot/helm-bitbucket
A helm interface for searching Bitbucket
dragonwasrobot/yasnippets-coq
Coq snippets for the Yasnippet emacs mode.
dragonwasrobot/b.el
A byte manipulation library
dragonwasrobot/dragonwasrobot.github.io
My website.
dragonwasrobot/ex_rerun
Rerun custom mix tasks on code modification
dragonwasrobot/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.
dragonwasrobot/elixir-lokalise-api
Official Lokalise APIv2 interface for Elixir.
dragonwasrobot/elixir_org
org-mode parser for Elixir
dragonwasrobot/elm-i18n-example
dragonwasrobot/elm-sortable-table
Sortable tables for whatever data you want to display
dragonwasrobot/elm_compile
Easy elm compilation for mix projects
dragonwasrobot/game-of-life
A CoffeeScript and HTML5 canvas implementation of Conway's Game of Life.
dragonwasrobot/get-shit-done
Script for reducing distractions and improving focus
dragonwasrobot/melpa
Recipes and build machinery for the biggest Emacs package repo
dragonwasrobot/plug_rest
REST behaviour and Plug router for hypermedia web applications in Elixir
dragonwasrobot/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
dragonwasrobot/yasnippet-snippets
a collection of yasnippet snippets for many languages
dragonwasrobot/dragonwasrobot
dragonwasrobot/org-d20
Emacs minor mode for tabletop roleplaying games that use a d20
dragonwasrobot/yasnippets-latex
LaTeX snippets for use with the yasnippet Emacs plugin