dragonwasrobot/get-shit-done

Stars
1
Language
Shell
License
MIT License
Created almost 6 years ago
Updated over 4 years ago

dragonwasrobot/get-shit-done

dragonwasrobot

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Script for reducing distractions and improving focus

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.

game-of-life

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

b.el

A byte manipulation library