michalpalka

Pinned Repositories

Blink
A domain-specific-language and compiler for low-level bitstream processing.
Language:Haskell0 2 00
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:Python0 3 00
DSL-tests
Language:Haskell0 7 00
nixpkgs
Nix Packages collection
Language:Nix0 3 00
otp
Erlang/OTP
Language:Erlang0 2 00

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:Haskell0 2 00
michalpalka/django-tags-input
django-tags-input
Language:Python0 3 00
michalpalka/DSL-tests
Language:Haskell0 7 00
michalpalka/nixpkgs
Nix Packages collection
Language:Nix0 3 00
michalpalka/otp
Erlang/OTP
Language:Erlang0 2 00
michalpalka/quickcheck
Automatic testing of Haskell programs. For reporting bugs, please use the mailing list, quickcheck@projects.haskell.org!
Language:Haskell3 0
michalpalka/random-terms
Language:Racket3 0
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 03
michalpalka/testing-feat
FEAT
Language:Haskell3 0
michalpalka/tfp-2018-website
Language:HTML4 0
michalpalka/xen-libhvm
Language:C3 0