berewt/vecahaskell Fork of pascalpoizat/veca-haskell

Language: Haskell - Size: 229 KB - Last synced: 2 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

berewt/recursion-schemes Fork of recursion-schemes/recursion-schemes

Generalized bananas, lenses and barbed wire

Language: Haskell - Size: 109 KB - Last synced: 2 months ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

berewt/typecrawl Fork of Raveline/typecrawl

Parser to get the content of a typepad blog. Work in progress, far from finished.

Language: Haskell - Size: 26.4 KB - Last synced: 2 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

berewt/SPLV20 Fork of edwinb/SPLV20

SPLV20 course notes

Size: 193 KB - Last synced: 2 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

berewt/recursion_schemes Fork of vmchale/recursion_schemes

Recursion schemes for Idris

Language: Idris - Size: 164 KB - Last synced: 2 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

berewt/singer Fork of Raveline/singer

Haskell tool to rebuild tweeter threads

Size: 16.6 KB - Last synced: 2 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

berewt/purescript Fork of purescript/purescript

A small strongly, statically typed language that compiles to Javascript

Language: Haskell - Size: 3.04 MB - Last synced: 2 months ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

berewt/the-little-typer Fork of lambdada/the-little-typer

An implementation of The Little Typer in Haskell

Language: Haskell - Size: 11.7 KB - Last synced: 2 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

berewt/open-typerep Fork of emilaxelsson/open-typerep

Open type representations and dynamic types

Language: Haskell - Size: 67.4 KB - Last synced: 2 months ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0

berewt/property_checker

Language: Idris - Size: 6.84 KB - Last synced: 2 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

berewt/Pairs-rulebook

French translation of the Pairs cardgame: http://cheapass.com/sites/default/files/PairsCompanionBook.pdf

Language: Makefile - Size: 33.2 KB - Last synced: 2 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

berewt/live-coding

Repository for my live-coding sessions

Language: Idris - Size: 6.84 KB - Last synced: 2 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

berewt/UnionType

UnionType in Idris

Language: Idris - Size: 67.4 KB - Last synced: 2 months ago - Pushed: almost 6 years ago - Stars: 11 - Forks: 0

berewt/syntactic Fork of emilaxelsson/syntactic

Generic representation and manipulation of abstract syntax

Language: Haskell - Size: 638 KB - Last synced: 2 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

berewt/twerk

TWitter ERKive reader

Language: Haskell - Size: 5.99 MB - Last synced: 2 months ago - Pushed: over 4 years ago - Stars: 3 - Forks: 0

berewt/psc-ide-vim Fork of FrigoEU/psc-ide-vim

Vim plugin for psc-ide

Language: Vim script - Size: 245 KB - Last synced: 2 months ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

berewt/idris2-pack Fork of stefan-hoeck/idris2-pack

Size: 248 KB - Last synced: 2 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

berewt/oneof

List the valid values of a type

Language: Idris - Size: 4.88 KB - Last synced: 2 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

berewt/sublist

Partial order on list elements

Language: Idris - Size: 4.88 KB - Last synced: 2 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

berewt/idris2-lsp Fork of idris-community/idris2-lsp

Language Server for Idris2

Size: 380 KB - Last synced: 2 months ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

berewt/nats Fork of ekmett/nats

Haskell 98 Natural Numbers

Language: Haskell - Size: 155 KB - Last synced: 2 months ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

berewt/idris-lens Fork of idris-hackers/idris-lens

Language: Idris - Size: 8.79 KB - Last synced: 2 months ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

berewt/Idris2 Fork of idris-lang/Idris2

A purely functional programming language with first class types

Size: 25.9 MB - Last synced: 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

berewt/Idris2-boot Fork of edwinb/Idris2-boot

A dependently typed programming language, a successor to Idris

Size: 2.76 MB - Last synced: 2 months ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

berewt/idris-free Fork of idris-hackers/idris-free

Free Monads and useful constructions to work with them

Language: Idris - Size: 4.88 KB - Last synced: 2 months ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

berewt/J2S

A library for boardgames in Haskell

Language: Haskell - Size: 58.6 KB - Last synced: 2 months ago - Pushed: over 5 years ago - Stars: 3 - Forks: 0

berewt/india

Interactive Narration DSL in Idris for All

Language: Idris - Size: 6.84 KB - Last synced: 2 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

berewt/learnhaskell Fork of julienXX/learnhaskell

Learn Haskell

Language: Makefile - Size: 3.3 MB - Last synced: 2 months ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

berewt/Idris-dev Fork of idris-lang/Idris-dev

A Dependently Typed Functional Programming Language

Language: Haskell - Size: 30.8 MB - Last synced: 2 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

berewt/Haskell-Turtle-Library Fork of Gabriella439/turtle

Shell programming, Haskell style

Language: Haskell - Size: 658 KB - Last synced: 2 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

berewt/HaXml

Forked from http://code.haskell.org/HaXml

Language: HTML - Size: 5.01 MB - Last synced: 2 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 3

berewt/flora-server Fork of flora-pm/flora-server

A package index for the Haskell ecosystem

Size: 2.17 MB - Last synced: 2 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

berewt/haskell-online-dojo Fork of aleryo/haskell-online-dojo

A Haskell clone of https://cstack.github.io/db_tutorial

Language: Haskell - Size: 159 KB - Last synced: 2 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

berewt/FiniteEnum

Enumeration of finite types in Idris

Language: Idris - Size: 3.91 KB - Last synced: 2 months ago - Pushed: almost 6 years ago - Stars: 1 - Forks: 0

berewt/flexidisc

Typesafe extensible records (and more) for Idris.

Language: Idris - Size: 188 KB - Last synced: 2 months ago - Pushed: about 4 years ago - Stars: 1 - Forks: 0

berewt/dhall-gitlab-ci Fork of bgamari/dhall-gitlab-ci

A Dhall encoding of the GitLab CI configuration schema

Size: 35.2 KB - Last synced: 2 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

berewt/doctest Fork of sol/doctest

An implementation of Python's doctest for Haskell

Language: Haskell - Size: 525 KB - Last synced: 2 months ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

berewt/documented-source

Technical articles, written directly as runnable projects

Language: Haskell - Size: 14.6 KB - Last synced: 2 months ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

berewt/ArduinoML-kernel Fork of mosser/ArduinoML-kernel

Zoo of implementations associated to the ArduinoML kernel

Language: Java - Size: 19.3 MB - Last synced: 2 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

berewt/CS410-16 Fork of pigworker/CS410-16

being the lecture materials and exercises for the 2016/17 session of Advanced Functional Programming at Strathclyde

Language: Agda - Size: 49.8 KB - Last synced: 2 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

berewt/DDD-and-Dependent-Types Fork of martinsson/DDD-and-Dependent-Types

Explorations of dependent types used for domain driven design

Language: Idris - Size: 84 KB - Last synced: 2 months ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

berewt/berewt.github.io

Language: HTML - Size: 497 KB - Last synced: 2 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 3

berewt/acme-haskellee

Haskell Enterprise Edition

Language: Haskell - Size: 12.7 KB - Last synced: 2 months ago - Pushed: over 6 years ago - Stars: 12 - Forks: 2

berewt/cardano-haskell-packages Fork of IntersectMBO/cardano-haskell-packages

Metadata for Cardano's Haskell package repository

Size: 167 KB - Last synced: 2 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

berewt/marconi Fork of input-output-hk/marconi

Size: 2.22 MB - Last synced: 2 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

berewt/codo-notation Fork of dorchard/codo-notation

Codo notation for programming with comonads in Haskell

Language: Haskell - Size: 316 KB - Last synced: 2 months ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0