serras/4languages serras/4languages

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
  • Created almost 13 years ago
  • Updated almost 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
serras/4languages
github

serras

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Book about Haskell, Clean, Agda and Idris

More Repositories

1

emacs-haskell-tutorial

Tutorial on setting up Emacs to do Haskell programming
Emacs Lisp
690
star
2

hinc

Haskell In New Clothes
Haskell
111
star
3

lambdaconf-2015-web

Projects for LambdaConf 2015 Haskell web workshop
Haskell
63
star
4

inikio

Better initial-style DSLs in Kotlin
Kotlin
33
star
5

WeatherApp

Weather App with Arrow + Compose Desktop
Kotlin
31
star
6

fir-tree

IntelliJ plug-in to visualize the Frontend Intermediate Representation (FIR tree) of a piece of Kotlin code
Kotlin
30
star
7

zurihac-workshop

A bit of DSLs, a bit of I/O
HTML
16
star
8

functional-map

Ruby
13
star
9

sf-exercises

Coq
12
star
10

miso-start-template

Template for new Miso projects
Nix
11
star
11

cat-theory-lambdaconf-wr-2017

Haskell
10
star
12

munihac-2020-miso

Miso @ MuniHac 2020
Haskell
10
star
13

patternr

Pattern matching for several languages
Elixir
9
star
14

arrow-validation-tree

Arrow Validation Tree
Kotlin
9
star
15

cobalt

COnstraint-BAsed Little Typechecker
Haskell
9
star
16

arrow-compose

Arrow ❤️ Compose
Kotlin
8
star
17

HaskellsGameOfLife

A simple implementation of Conway's Game of Life
Haskell
7
star
18

reactive-js

Haskell
7
star
19

t-regex

Matchers and grammars using tree regular expressions
Haskell
6
star
20

haskell-exchange-2021

Slides for the Haskell eXchange 2021 talk "A Beginner's Guide to Haskell and its Ecosystem"
HTML
5
star
21

poke-fun

Poké-Fun with Kotlin and Arrow
Kotlin
5
star
22

dddeu21

"Being Formal Yet Lightweight", presented at DDD Europe 2021
HTML
4
star
23

derivative-parsing

Parsing using derivatives
Haskell
4
star
24

haskell-patterns

4
star
25

turbine-temporal

Turbine meets Temporal Logic
Kotlin
4
star
26

graphql-wai

A simple way to expose GraphQL via WAI
Haskell
4
star
27

liquid-nats-plugins-example

Example project using LiquidHaskell and Natural Normalisation plug-ins
Haskell
4
star
28

djinn-lib

Library extracted from Djinn package
Haskell
3
star
29

json-select-transform

Library for matching and transformation of JSON documents
Haskell
3
star
30

scion-ghc-7-requisites

Changed prerrequisites for making Scion work on GHC 7
Haskell
3
star
31

ultimate-generics

Haskell
2
star
32

mini-system-f-impred

Haskell
2
star
33

codemotion-2022

Slides for Codemotion 2022 talk
HTML
2
star
34

scion-debugger

Program that handles debugging for EclipseFP
Haskell
2
star
35

nacionlumpen-chat-haskell

Simple chat written in Haskell
Haskell
2
star
36

monadic-patterns

Extensible pattern matching using free monads
Haskell
2
star
37

kotlinconf-features-example

Kotlin
2
star
38

deprecation-repro

Code for reproducing KT-60604
Kotlin
1
star
39

message-parser

1
star
40

sillies

Small programs to test my changes to GHC
Haskell
1
star
41

bob2021-mu

"Servant vs. Mu: A Type-Level Battle", presented at BOB 2021
HTML
1
star
42

lio

Lightweight IO in Kotlin
Kotlin
1
star
43

emacs-config

My Emacs configuration
Emacs Lisp
1
star
44

infofp-2021

Haskell Ideas in Modern Programming, presented at UU's INFOFP 2021
HTML
1
star
45

tasty-json

A tasty ingredient to output test results in JSON, compatible with HTF schema.
Haskell
1
star
46

actions-as-data-continued

Actions as data, continued
HTML
1
star
47

kotlin-multitarget-plugin

IntelliJ plug-in that warns about annotations with defaulted use-site targets
Kotlin
1
star