Block or report user

HandsOnDocker

forked from alexellis/HandsOnDocker

Get hands-on with Docker through a dozen self-paced and progressive labs.

C#

zpf2016

Zaawansowane Programowanie Funkcyjne 2016

HTML

labjpp

Scenariusze na laboratoria JPP na wydziale MIM UW.

thinkster-django-angular-boilerplate

forked from brwr/thinkster-django-angular-boilerplate

Boilerplate for the Thinkster.io Django and AngularJS tutorial.

Python

django-objectdump

forked from callowayproject/django-objectdump

Export one or more objects and their related objects. Allows for fine-tuned control over which related objects are exported.

Python

toy-interpreters

Some toy interpreters in Haskell

Haskell

doko-funkcje

Prezentacja na Dni Otwarte Kampusu Ochota

TeX

ocharles-blog

forked from ocharles/blog

The contents of ocharles.org.uk/blog

Haskell

popl2015-papers

forked from yallop/popl2015-papers

Accepted papers for POPL 2015

Python

bnfc

forked from BNFC/bnfc

BNF Converter

TeX

zpf2013

Zaawansowane Programowanie Funkcyjne 2013

Haskell

idris-cph-exercises

forked from idris-hackers/idris-cph-exercises

Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.

Idris

cabal

forked from haskell/cabal

Official upstream development repository for Cabal and cabal-install

Haskell

lattester

Automated tester for MIMUW compilers course (MRJP)

Haskell

homebrew-formal

forked from mht208/homebrew-formal

Homebrew formulae for formal methods

Ruby

vera

Exploring prover ideas for intuitionistic logic

Haskell

matte

Reimplement Latte subsets using Parsec

Haskell

HUGWaw

forked from CGenie/HUGWaw

Haskell User Group Warsaw

zpf2012

Zaawansowane Programowanie Funkcyjne, MIMUW 2011

Haskell

language-python

forked from bjpop/language-python

A parser for Python 2.x and 3.x written in Haskell

Haskell

diagrams-tikz

forked from mahrz/diagrams-tikz

Fork of diagrams-tikz

Haskell

mrjp-tests

forked from tomwys/mrjp-tests

Testy to projektu zaliczeniowego z MRJP