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/formal-language
A python package containing various constructs used in formal language theory, i.e. Finite Automatas, Push-down Automatas and Turing Machines.