@jmitchell
github

jmitchell

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

backtrex

Backtracking behaviour to solve discrete problems by brute force
Elixir
25
star
2

idris-elixir

Idris backend targeting Elixir (Work in progress)
Haskell
18
star
3

meta-ii

Elixir
10
star
4

multiset

Multiset/bag implementation in Rust
Rust
9
star
5

bnfc-mode

Emacs mode for BNFC files
Emacs Lisp
8
star
6

tree-sitter-dhall

(WIP) Dhall grammar for Tree-sitter
C
6
star
7

tree-sitter-abnf

ABNF grammar for tree-sitter
C
4
star
8

atom-language-dhall

Dhall language support in Atom (buggy and not released; see issue #2)
3
star
9

developers-intuition.hs

QuickCheck property-based testing demo based on John Hughes' talk
Haskell
3
star
10

hdl

Coq
1
star
11

haskell-dummy-project1

Haskell
1
star
12

_capstone

A sandbox for playing with the Capstone engine
1
star
13

armor

(WIP) ARM emulator
Rust
1
star
14

docker-rust

Rust development environment
Emacs Lisp
1
star
15

abnf-to-tree-sitter

(WIP) Convert ABNF grammars to tree-sitter grammar.js inputs
JavaScript
1
star
16

qubes-builder-nixos

WIP
Shell
1
star
17

BirdNest

personal Emacs configuration
Emacs Lisp
1
star