mbenke Goto Github PK

basic

An attempt to revive Lennart Augustsson's BASIC in Haskell

bnfc

BNF Converter

cabal

Official upstream development repository for Cabal and cabal-install

diagrams-tikz

Fork of diagrams-tikz

django-objectdump

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

django-tutorial

documents

doko-funkcje

Prezentacja na Dni Otwarte Kampusu Ochota

golem

Golem is creating a global market for computing power.

gu-python-client

handsondocker

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

haskell-golf

haskelltutorials

Try Haskell

hasktrip

Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.

hasmin

hello-github

Just a repo

hm-typecheck

Hindley-Milner style type checking experiments

homebrew-formal

Homebrew formulae for formal methods

hugwaw

Haskell User Group Warsaw

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.

jnp3-haskell

Materiały do zajęć JNP3 (grupa Haskell) na MIMUW

jnp3-haskell-sokoban1

JNP3 grupa Haskell- zadanie Sokoban 1

labjpp

Scenariusze na laboratoria JPP na wydziale MIM UW.

labmrjp

Materiały na laboratorium MRJP na MIMUW

language-python

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

lattester

Automated tester for MIMUW compilers course (MRJP)

lucretia

matte

Reimplement Latte subsets using Parsec

mbenke.github.io

mrjp-tests

Testy to projektu zaliczeniowego z MRJP