polux Goto Github PK
Name: Paul Brauner
Type: User
Location: Zürich, Switzerland
Paul Brauner's Projects
abstract-interpreters
"Abstracting Definitional Interpreters" in Haskell
adts
Algebraic Datatypes for Dart
advent-of-code
Solutions to the advent of code problems
aggregator
The server of a RSS feed aggregator in Haskell
aggregator-flutter-client
A flutter client for https://github.com/polux/aggregator.
aggregator-settings-editor
Settings editor for https://github.com/polux/aggregator.
apecs
a fast, type driven, extensible ECS for game development
codeworld
Educational computer programming environment using Haskell
dart-polymer-dart-examples
Polymer.dart, Web Components, and Dart.
dedukti
A type-checker for the λΠ-modulo calculus.
defunc
Program transformations à la Danvy et al.
enumerators
Random Access Enumerations of Dart Datatypes
haltavista
search for haskell functions in libraries by providing input/output examples
hgom
haskell port of the gom tool (http://tom.loria.fr)
hol2dk
hol to dedukti
hswolf
A raycaster written in Haskell
icfp2017-papers
Link to preprints for ICFP'17 and colocated events
json-pprint
pretty print json values
lambda-diagrams
Animations of lambda term reduction sequences
meta_dart
An interpreter for a multi-stage, functional subset of Dart
papageorges
A program to make each person in a group give a Christmas gift to exactly one other person in this group.
parsers
Parser Combinators for Dart
parsers-doc
Documentation for the dart parsers library.
patterns
Pattern Matching Combinators for Dart
persistent
Efficient Persistent Data Structures for Dart
plm
Programmer's Learning Machine
pretty
Pretty-Printing Combinators for Dart
pretty_demo
Interactive demo of the pretty library
priority_queue
Priority queue for Dart
propcheck
Exhaustive and randomized testing of Dart properties
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.