Pinned Repositories
adts
Algebraic Datatypes for Dart
advent-of-code
Solutions to the advent of code problems
defunc
Program transformations à la Danvy et al.
haltavista
search for haskell functions in libraries by providing input/output examples
lambda-diagrams
Animations of lambda term reduction sequences
parsers
Parser Combinators for Dart
persistent
Efficient Persistent Data Structures for Dart
pretty
Pretty-Printing Combinators for Dart
priority_queue
Priority queue for Dart
propcheck
Exhaustive and randomized testing of Dart properties
polux's Repositories
polux/lambda-diagrams
Animations of lambda term reduction sequences
polux/parsers
Parser Combinators for Dart
polux/persistent
Efficient Persistent Data Structures for Dart
polux/propcheck
Exhaustive and randomized testing of Dart properties
polux/defunc
Program transformations à la Danvy et al.
polux/adts
Algebraic Datatypes for Dart
polux/pretty
Pretty-Printing Combinators for Dart
polux/advent-of-code
Solutions to the advent of code problems
polux/hgom
haskell port of the gom tool (http://tom.loria.fr)
polux/abstract-interpreters
"Abstracting Definitional Interpreters" in Haskell
polux/enumerators
Random Access Enumerations of Dart Datatypes
polux/quickcheck-slides
Slides of some talk about test.check and testing-feat
polux/subsume
Attempts at minimizing a set of patterns (as in pattern matching)
polux/codeworld
Educational computer programming environment using Haskell
polux/hswolf
A raycaster written in Haskell
polux/parsers-doc
Documentation for the dart parsers library.
polux/PLM
Programmer's Learning Machine
polux/qsm-ffi-demo
quickcheck-state-machine FFI demo
polux/snippets
Snippets of code
polux/aggregator
The server of a RSS feed aggregator in Haskell
polux/aggregator-flutter-client
A flutter client for https://github.com/polux/aggregator.
polux/aggregator-settings-editor
Settings editor for https://github.com/polux/aggregator.
polux/apecs
a fast, type driven, extensible ECS for game development
polux/icfp2017-papers
Link to preprints for ICFP'17 and colocated events
polux/papageorges
A program to make each person in a group give a Christmas gift to exactly one other person in this group.
polux/raytrace
A basic Haskell raytracer
polux/swagger-test
Property based testing tool for Swagger APIs
polux/tom-parser
A demo Haskell parser for the tom programming language
polux/webPLM
Web Interface of the PLM (JavaScript + Play framework)
polux/zzbot
buildbot-like config fiddling