Peter Urbak's Projects
25 days, 25 puzzles, 25 languages, surely I will regret this decision
A byte manipulation library
A brainfuck interpreter written in Elm
A CHIP-8 emulator written in Elm
My website.
Official Lokalise APIv2 interface for Elixir.
org-mode parser for Elixir
Sortable tables for whatever data you want to display
Easy elm compilation for mix projects
Rerun custom mix tasks on code modification
A python package containing various constructs used in formal language theory, i.e. Finite Automatas, Push-down Automatas and Turing Machines.
A formal study of Moessner's sieve
A CoffeeScript and HTML5 canvas implementation of Conway's Game of Life.
Project for inferring various touch and object gestures using the TUIO protocol, CoffeeScript and node.js
Script for reducing distractions and improving focus
A helm interface for searching Bitbucket
Generates Elm types and functions from i18n key/value JSON files
Generates Elm types, JSON decoders, JSON encoders and fuzz tests from JSON schema specifications
A library for parsing, inspecting and manipulating JSON Schema documents
My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
Recipes and build machinery for the biggest Emacs package repo
Emacs minor mode for tabletop roleplaying games that use a d20
REST behaviour and Plug router for hypermedia web applications in Elixir
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.
A simple language created in Coq, batteries and correctness proofs included.
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
a collection of yasnippet snippets for many languages
Coq snippets for the Yasnippet emacs mode.