dragonwasrobot/ex_rerun dragonwasrobot/ex_rerun

  • Stars
    star
    2
  • Language
    Elixir
  • License
    MIT License
  • Created almost 6 years ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dragonwasrobot/ex_rerun
github

dragonwasrobot

Reviews

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

Repository Details

Rerun custom mix tasks on code modification

More Repositories

1

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.
Prolog
284
star
2

json-schema-to-elm

Generates Elm types, JSON decoders, JSON encoders and fuzz tests from JSON schema specifications
Elixir
85
star
3

i18n-to-elm

Generates Elm types and functions from i18n key/value JSON files
Elixir
23
star
4

chip-8

A CHIP-8 emulator written in Elm
Elm
9
star
5

json_schema

A library for parsing, inspecting and manipulating JSON Schema documents
Elixir
9
star
6

brainfuck

A brainfuck interpreter written in Elm
Elm
7
star
7

simpl-lang

A simple language created in Coq, batteries and correctness proofs included.
Coq
6
star
8

gesture-recognition

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

helm-bitbucket

A helm interface for searching Bitbucket
Emacs Lisp
3
star
10

yasnippets-coq

Coq snippets for the Yasnippet emacs mode.
3
star
11

99-problems

I got 99 problems but a Lisp ain't one
Scheme
2
star
12

dragonwasrobot.github.io

My website.
SCSS
2
star
13

adventOf-CODE_2022

25 days, 25 puzzles, 25 languages, surely I will regret this decision
Clojure
2
star
14

formal-moessner

A formal study of Moessner's sieve
Coq
2
star
15

formal-language

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

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.
Scheme
2
star
17

get-shit-done

Script for reducing distractions and improving focus
Shell
1
star
18

game-of-life

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

b.el

A byte manipulation library
Emacs Lisp
1
star