just95

Justin Andresen's repositories

TOML parser and encoder for Dart.

Language:DartMIT45 2 21

A command line and web application to search for isomers.

Language:DartMIT1 2 1

Coq language support for the Atom editor

MIT010

Cucumber checker for Testomat.io

Language:JavaScript000

In-browser code editor

Language:JavaScriptMIT020

A Dart wrapper around the CodeMirror text editor.

Language:DartBSD-3-Clause020

Dart APIs to communicate with DICT servers.

Language:DartMIT020

A Haskell to Coq compiler that represents effectful programs with the free monad

Language:HaskellBSD-3-Clause010

Workaround for cucumber/common#2072

Language:JavaScriptMIT010

Cucumber Language Service

Language:TypeScriptMIT000

A metadata driven microframework for Dart.

Language:DartMIT020

Language:DartBSD-3-Clause020

Tom's Obvious, Minimal Language

MIT020

YAML to TOML converter written in Dart.

Language:DartMIT030