Pinned Repositories
free-compiler
A Haskell to Coq compiler that represents effectful programs with the free monad
atom-language-coq
Coq language support for the Atom editor
check-cucumber
Cucumber checker for Testomat.io
CodeMirror
In-browser code editor
codemirror.dart
A Dart wrapper around the CodeMirror text editor.
DICT.dart
Dart APIs to communicate with DICT servers.
free-compiler
A Haskell to Coq compiler that represents effectful programs with the free monad
gherkin-utils
Workaround for cucumber/common#2072
isomers
A command line and web application to search for isomers.
toml.dart
TOML parser and encoder for Dart.
just95's Repositories
just95/toml.dart
TOML parser and encoder for Dart.
just95/isomers
A command line and web application to search for isomers.
just95/atom-language-coq
Coq language support for the Atom editor
just95/check-cucumber
Cucumber checker for Testomat.io
just95/CodeMirror
In-browser code editor
just95/codemirror.dart
A Dart wrapper around the CodeMirror text editor.
just95/DICT.dart
Dart APIs to communicate with DICT servers.
just95/free-compiler
A Haskell to Coq compiler that represents effectful programs with the free monad
just95/gherkin-utils
Workaround for cucumber/common#2072
just95/language-service
Cucumber Language Service
just95/redstone
A metadata driven microframework for Dart.
just95/route.dart
just95/toml
Tom's Obvious, Minimal Language
just95/yaml2toml.dart
YAML to TOML converter written in Dart.