• Stars
    star
    1
  • Language
    Kotlin
  • Created about 3 years ago
  • Updated about 3 years ago

Reviews

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

Repository Details

Lightweight IO in Kotlin

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

4languages

Book about Haskell, Clean, Agda and Idris
11
star
11

miso-start-template

Template for new Miso projects
Nix
11
star
12

cat-theory-lambdaconf-wr-2017

Haskell
10
star
13

munihac-2020-miso

Miso @ MuniHac 2020
Haskell
10
star
14

patternr

Pattern matching for several languages
Elixir
9
star
15

arrow-validation-tree

Arrow Validation Tree
Kotlin
9
star
16

cobalt

COnstraint-BAsed Little Typechecker
Haskell
9
star
17

arrow-compose

Arrow ❤️ Compose
Kotlin
8
star
18

HaskellsGameOfLife

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

reactive-js

Haskell
7
star
20

t-regex

Matchers and grammars using tree regular expressions
Haskell
6
star
21

haskell-exchange-2021

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

poke-fun

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

dddeu21

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

derivative-parsing

Parsing using derivatives
Haskell
4
star
25

haskell-patterns

4
star
26

turbine-temporal

Turbine meets Temporal Logic
Kotlin
4
star
27

graphql-wai

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

liquid-nats-plugins-example

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

djinn-lib

Library extracted from Djinn package
Haskell
3
star
30

json-select-transform

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

scion-ghc-7-requisites

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

ultimate-generics

Haskell
2
star
33

mini-system-f-impred

Haskell
2
star
34

codemotion-2022

Slides for Codemotion 2022 talk
HTML
2
star
35

scion-debugger

Program that handles debugging for EclipseFP
Haskell
2
star
36

nacionlumpen-chat-haskell

Simple chat written in Haskell
Haskell
2
star
37

monadic-patterns

Extensible pattern matching using free monads
Haskell
2
star
38

kotlinconf-features-example

Kotlin
2
star
39

deprecation-repro

Code for reproducing KT-60604
Kotlin
1
star
40

message-parser

1
star
41

sillies

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

bob2021-mu

"Servant vs. Mu: A Type-Level Battle", presented at BOB 2021
HTML
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