polux/meta_dart
An interpreter for a multi-stage, functional subset of Dart
Developer Profile
polux
Discovered public repositories for polux in the GitHub catalog.
polux/priority_queue
Priority queue for Dart
polux/dart-polymer-dart-examples
Polymer.dart, Web Components, and Dart.
polux/trampolines
Trampolines for Tail Recursion in Dart
polux/patterns
Pattern Matching Combinators for Dart
polux/adts
Algebraic Datatypes for Dart
polux/propcheck
Exhaustive and randomized testing of Dart properties
polux/enumerators
Random Access Enumerations of Dart Datatypes
polux/persistent
Efficient Persistent Data Structures for Dart
polux/parsers
Parser Combinators for Dart
polux/pretty
Pretty-Printing Combinators for Dart
polux/haltavista
search for haskell functions in libraries by providing input/output examples
polux/json-pprint
pretty print json values
polux/hol2dk
hol to dedukti
polux/hgom
haskell port of the gom tool (http://tom.loria.fr)
polux/dedukti
A type-checker for the λΠ-modulo calculus.