michalpalka

Pinned Repositories

Blink
A domain-specific-language and compiler for low-level bitstream processing.
Language:Haskell00
dit029-h17-testdata
Test data files for the GU DIT029 H17 course
12
dit029-twitter-miner
Example client for the Twitter Streaming API written in Erlang
Language:Erlang2 3 03
django-tags-input
django-tags-input
Language:Python00
DSL-tests
Language:Haskell00
nixpkgs
Nix Packages collection
Language:Nix00
otp
Erlang/OTP
Language:Erlang00

michalpalka's Repositories

michalpalka/dit029-twitter-miner
Example client for the Twitter Streaming API written in Erlang
Language:Erlang2 3 03
michalpalka/dit029-h17-testdata
Test data files for the GU DIT029 H17 course
12
michalpalka/Blink
A domain-specific-language and compiler for low-level bitstream processing.
Language:Haskell00
michalpalka/django-tags-input
django-tags-input
Language:Python00
michalpalka/DSL-tests
Language:Haskell00
michalpalka/nixpkgs
Nix Packages collection
Language:Nix00
michalpalka/otp
Erlang/OTP
Language:Erlang00
michalpalka/quickcheck
Automatic testing of Haskell programs. For reporting bugs, please use the mailing list, quickcheck@projects.haskell.org!
Language:Haskell
michalpalka/random-terms
Language:Racket
michalpalka/SyntheticPopulations
Some material and code for generating simple synthetic populations.
Language:Python
michalpalka/tda382-lab3-code-skeleton
Code skeleton for Lab 3 (Course TDA383 - Chalmers)
Language:Erlang3
michalpalka/testing-feat
FEAT
Language:Haskell
michalpalka/tfp-2018-website
Language:HTML
michalpalka/xen-libhvm
Language:C3 0