polux

GoogleZürich, Switzerland

Pinned Repositories

adts
Algebraic Datatypes for Dart
Language:Dart8 3 73
advent-of-code
Solutions to the advent of code problems
Language:Haskell5 2 00
defunc
Program transformations à la Danvy et al.
Language:Haskell9 4 01
haltavista
search for haskell functions in libraries by providing input/output examples
Language:Haskell8 2 01
lambda-diagrams
Animations of lambda term reduction sequences
Language:Haskell89 4 05
parsers
Parser Combinators for Dart
Language:Dart23 5 1310
persistent
Efficient Persistent Data Structures for Dart
Language:Dart21 5 313
pretty
Pretty-Printing Combinators for Dart
Language:Dart8 5 13
priority_queue
Priority queue for Dart
Language:Dart8 4 02
propcheck
Exhaustive and randomized testing of Dart properties
Language:Dart13 4 15

polux's Repositories

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