Pinned Repositories
atom-language-dhall
Dhall language support in Atom (buggy and not released; see issue #2)
backtrex
Backtracking behaviour to solve discrete problems by brute force
bnfc-mode
Emacs mode for BNFC files
developers-intuition.hs
QuickCheck property-based testing demo based on John Hughes' talk
idris-elixir
Idris backend targeting Elixir (Work in progress)
meta-ii
multiset
Multiset/bag implementation in Rust
tree-sitter-abnf
ABNF grammar for tree-sitter
tree-sitter-dhall
(WIP) Dhall grammar for Tree-sitter
jmitchell's Repositories
jmitchell/multiset
Multiset/bag implementation in Rust
jmitchell/tree-sitter-dhall
(WIP) Dhall grammar for Tree-sitter
jmitchell/tree-sitter-abnf
ABNF grammar for tree-sitter
jmitchell/atom-language-dhall
Dhall language support in Atom (buggy and not released; see issue #2)
jmitchell/developers-intuition.hs
QuickCheck property-based testing demo based on John Hughes' talk
jmitchell/abnf-to-tree-sitter
(WIP) Convert ABNF grammars to tree-sitter grammar.js inputs
jmitchell/haskell-dummy-project1
jmitchell/atom-language-abnf
ABNF language support in Atom
jmitchell/Blodwen
A prototype successor to Idris
jmitchell/cabal2nix
Generate Nix build instructions from a Cabal file
jmitchell/check-ci
poking CI systems for fun
jmitchell/cryptonite-openssl
openssl crypto binding extending cryptonite with new crypto capabilities
jmitchell/dhall-lang
A configuration language guaranteed to terminate
jmitchell/elm-compiler
Compiler for Elm, a functional language for reliable webapps.
jmitchell/elm-make
A build tool for Elm projects
jmitchell/FStar
Verification system for effectful programs
jmitchell/haskell-dummy-project2
jmitchell/haskell-lsp
Haskell library for the Microsoft Language Server Protocol
jmitchell/haskell-multi-package-demo1
jmitchell/hydra
Hydra, the Nix-based continuous build system
jmitchell/iohk-nixops
NixOps deployment configuration for Cardano SL
jmitchell/koka
Koka language compiler and interpreter
jmitchell/low-level-programming
Source code for 'Low-Level Programming' by Igor Zhirkov
jmitchell/nixpkgs
Nix Packages collection
jmitchell/nomfun
experimental new design for nom parser combinators
jmitchell/nomic
jmitchell/nur-packages
A template for NUR repositories: [maintainer=@fgaz]
jmitchell/plutus-prototype
jmitchell/tree-sitter
An incremental parsing system for programmings tools
jmitchell/tree-sitter-cli
CLI tool for creating and testing tree-sitter parsers