Discover @dragonwasrobot Open Source projects

Peter Urbak (@dragonwasrobot)

dragonwasrobot

Stars
458
Global Rank 60,184 (Top 3 %)
Followers 45
Following 65
Registered over 12 years ago
Most used languages

Elixir
21.1 %

Coq 10.5 %

CoffeeScript
10.5 %

Elm
10.5 %

Scheme
10.5 %

Emacs Lisp
10.5 %

SCSS 5.3 %

Clojure
5.3 %

Shell
5.3 %

Prolog
5.3 %

Python
5.3 %
Location 🇩🇰 Denmark
Country Total Rank 302
Country Ranking

Prolog
1

Elixir
2

Elm
4

Scheme
5

Coq 11

CoffeeScript
24

Emacs Lisp
27

SCSS 34

Clojure
39

Shell
512

Python
1,504

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.

gesture-recognition

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

helm-bitbucket

A helm interface for searching Bitbucket

yasnippets-coq

Coq snippets for the Yasnippet emacs mode.

99-problems

I got 99 problems but a Lisp ain't one

adventOf-CODE_2022

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

dragonwasrobot.github.io

ex_rerun

Rerun custom mix tasks on code modification

formal-moessner

A formal study of Moessner's sieve

formal-language

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

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.

get-shit-done

Script for reducing distractions and improving focus

game-of-life

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

b.el

A byte manipulation library