Discover @polux Open Source projects

Paul Brauner (@polux)

polux

Stars
215
Global Rank 116,444 (Top 5 %)
Followers 65
Following 5
Registered over 15 years ago
Most used languages

Haskell
50.0 %

Dart
45.8 %

OCaml
4.2 %
Location 🇨🇭 Switzerland
Country Total Rank 1,285
Country Ranking

Dart
5

Haskell
17

OCaml
28

lambda-diagrams

Animations of lambda term reduction sequences

parsers

Parser Combinators for Dart

persistent

Efficient Persistent Data Structures for Dart

propcheck

Exhaustive and randomized testing of Dart properties

haltavista

search for haskell functions in libraries by providing input/output examples

adts

Algebraic Datatypes for Dart

priority_queue

Priority queue for Dart

defunc

Program transformations à la Danvy et al.

pretty

Pretty-Printing Combinators for Dart

hgom

haskell port of the gom tool (http://tom.loria.fr)

advent-of-code

Solutions to the advent of code problems

meta_dart

An interpreter for a multi-stage, functional subset of Dart

hol2dk

subsume

Attempts at minimizing a set of patterns (as in pattern matching)

quickcheck-slides

Slides of some talk about test.check and testing-feat

abstract-interpreters

"Abstracting Definitional Interpreters" in Haskell

enumerators

Random Access Enumerations of Dart Datatypes

qsm-ffi-demo

quickcheck-state-machine FFI demo

json-pprint

pretty print json values

parsers-doc

Documentation for the dart parsers library.

snippets

Snippets of code

patterns

Pattern Matching Combinators for Dart

trampolines

Trampolines for Tail Recursion in Dart

hswolf

A raycaster written in Haskell