jmitchell/hdl jmitchell/hdl

  • Stars
    star
    1
  • Language Coq
  • License
    GNU General Publi...
  • Created over 8 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jmitchell/hdl
github

jmitchell

Reviews

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

Repository Details

More 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

haskell-dummy-project1

Haskell
1
star
11

_capstone

A sandbox for playing with the Capstone engine
1
star
12

armor

(WIP) ARM emulator
Rust
1
star
13

docker-rust

Rust development environment
Emacs Lisp
1
star
14

abnf-to-tree-sitter

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

qubes-builder-nixos

WIP
Shell
1
star
16

BirdNest

personal Emacs configuration
Emacs Lisp
1
star