Peter Urbak

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.

formal-moessner. A formal study of Moessner's sieve

adventOf-CODE_2022. 25 days, 25 puzzles, 25 languages, surely I will regret this decision

yasnippets-coq. Coq snippets for the Yasnippet emacs mode.

helm-bitbucket. A helm interface for searching Bitbucket

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

ex_rerun. Rerun custom mix tasks on code modification

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

dragonwasrobot.github.io. My website.

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

yasnippet-snippets. a collection of yasnippet snippets for many languages

elixir-lokalise-api. Official Lokalise APIv2 interface for Elixir.

elixir_org. org-mode parser for Elixir

melpa. Recipes and build machinery for the biggest Emacs package repo

elm-sortable-table. Sortable tables for whatever data you want to display

plug_rest. REST behaviour and Plug router for hypermedia web applications in Elixir

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

elm-i18n-example. Elm

elm_compile. Easy elm compilation for mix projects

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