lpeterse/koka lpeterse/koka

  • Stars
    star
    19
  • Rank 1,163,249 (Top 23 %)
  • Language
    Haskell
  • License
    Other
  • Created over 10 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lpeterse/koka
github

lpeterse

Reviews

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

Repository Details

A function-oriented language with effect inference

More Repositories

1

haskell-socket

A Haskell binding to the POSIX sockets API
Haskell
47
star
2

haskell-mqtt

An MQTT protocol implementation (client and server)
Haskell
44
star
3

haskell-hummingbird

Multi-threaded MQTT broker written in Haskell.
Haskell
21
star
4

haskell-terminal

Haskell library for terminal interaction (without terminfo dependency but with Windows support)
Haskell
21
star
5

haskell-ssh

An SSH implemenation in pure Haskell
Haskell
15
star
6

HiggsSet

A multi-index set with advanced query capabilities
Haskell
12
star
7

shellfish

A pure Rust SSH implementation
Rust
9
star
8

haskell-replique

Replique is a high-level REPL library for building command line interfaces.
Haskell
8
star
9

haskell-utc

A pragmatic time and date library (Haskell)
Haskell
5
star
10

typeable

(unmaintained/historical) Typeable aims to be a collection of Haskell's algebraic datatypes and is able to generate code for various purposes.
Haskell
4
star
11

uuid-quasi

Haskell library for constant UUIDs in source code using quasi quotation
Haskell
4
star
12

binary-generic

Haskell package making it easy to serialize any kind of data with the binary package. Just derive 'Data' and you're done!
Haskell
4
star
13

haskell-libssh

A Haskell binding to the server part of libssh.
Haskell
3
star
14

haskell-socket-sctp

STCP socket extensions library.
Haskell
2
star
15

haskell-networking

Haskell
1
star
16

snaplet-recaptcha

A ReCaptcha snaplet with connection sharing.
Haskell
1
star
17

lmp

Lars' multiprecision integer library
C
1
star
18

aeson-canonical

(proof of concept) A more canonical TH derivation mechanism for Haskell types to JSON
Haskell
1
star
19

haskell-paxos

Haskell
1
star
20

crprover

(unmaintaned/historical) A prover for propositional logic in a sequence calculus written in Haskell
Haskell
1
star
21

ebf

(currently unmaintained) library for binary serialization
Haskell
1
star
22

snaplet-persistence

(unmaintained/historical) A pure-haskell persistence layer for Snap applications using STM.
Haskell
1
star