Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by jmitchell

A curated list of projects in awesome lists by jmitchell .

https://github.com/jmitchell/backtrex

Backtracking behaviour to solve discrete problems by brute force

backtracking brute-force elixir solver

Last synced: 28 Oct 2024

https://github.com/jmitchell/idris-elixir

Idris backend targeting Elixir (Work in progress)

code-generator elixir idris translator

Last synced: 12 Oct 2024

https://github.com/jmitchell/multiset

Multiset/bag implementation in Rust

Last synced: 28 Oct 2024

https://github.com/jmitchell/bnfc-mode

Emacs mode for BNFC files

bnf bnfc emacs-mode grammar

Last synced: 18 Nov 2024

https://github.com/jmitchell/tree-sitter-dhall

(WIP) Dhall grammar for Tree-sitter

Last synced: 12 Oct 2024

https://github.com/jmitchell/tree-sitter-abnf

ABNF grammar for tree-sitter

abnf grammar syntax tree-sitter

Last synced: 12 Oct 2024

https://github.com/jmitchell/atom-language-dhall

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

atom dhall syntax-highlighting tree-sitter

Last synced: 18 Dec 2024

https://github.com/jmitchell/developers-intuition.hs

QuickCheck property-based testing demo based on John Hughes' talk

Last synced: 18 Nov 2024

https://github.com/jmitchell/abnf-to-tree-sitter

(WIP) Convert ABNF grammars to tree-sitter grammar.js inputs

Last synced: 18 Nov 2024

https://github.com/jmitchell/armor

(WIP) ARM emulator

Last synced: 18 Nov 2024

https://github.com/jmitchell/birdnest

personal Emacs configuration

Last synced: 18 Nov 2024

https://github.com/jmitchell/docker-rust

Rust development environment

Last synced: 18 Nov 2024

https://github.com/jmitchell/hdl

Last synced: 18 Nov 2024

https://github.com/jmitchell/_capstone

A sandbox for playing with the Capstone engine

Last synced: 18 Nov 2024

https://github.com/jmitchell/_dcpl

Implementations of various languages specified in _Design Concepts of Programming Languages_

Last synced: 18 Nov 2024

https://github.com/jmitchell/pandoc-experiments

Sandbox to play with Pandoc and try out new use cases.

experimentation pandoc pandoc-filter

Last synced: 18 Nov 2024

https://github.com/jmitchell/optparse-test

Simple optparse-applicative project for sanity testing on different platforms

Last synced: 18 Nov 2024

https://github.com/jmitchell/check-ci

poking CI systems for fun

Last synced: 18 Nov 2024

https://github.com/jmitchell/arm-iss

(pre-alpha) Instruction set simulator for the ARM architecture

Last synced: 18 Nov 2024

https://github.com/jmitchell/cpphs-blackbox

Blackbox testing for cpphs Haskell package on a variety of operating systems and GHC versions.

blackbox-testing

Last synced: 18 Nov 2024

https://github.com/jmitchell/platform-bootstrapper

Launch platform-specific code from a single script that works on Windows and POSIX. Embrace the bug-ridden hack ;)

Last synced: 18 Nov 2024

https://github.com/jmitchell/programming-praxis

exercises from programmingpraxis.com

Last synced: 18 Nov 2024

https://github.com/jmitchell/literate-forth

WIP: Small Forth implementation as a literate program

Last synced: 18 Nov 2024

https://github.com/jmitchell/smlpraxis

Standard ML code developed for and inspired by smlpraxis.com

Last synced: 18 Nov 2024

https://github.com/jmitchell/boggle

Boggle data structures and algorithms in Haskell

Last synced: 18 Nov 2024

https://github.com/jmitchell/reproenv

Reproducible Common Lisp environment

Last synced: 18 Nov 2024

https://github.com/jmitchell/microkandris

microKanren in Idris

Last synced: 18 Nov 2024

https://github.com/jmitchell/atom-language-abnf

ABNF language support in Atom

anbf atom grammar syntax tree-sitter

Last synced: 18 Nov 2024

https://github.com/jmitchell/edn

Last synced: 18 Nov 2024

https://github.com/jmitchell/data_structures

Data structures implemented in Rust for fun and (not so much) profit

Last synced: 18 Nov 2024

https://github.com/jmitchell/yarn-ball

Global Game Jam 2013

Last synced: 18 Nov 2024