• Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created almost 4 years ago
  • Updated almost 4 years ago

Reviews

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

Repository Details

Library for matching and transformation of JSON documents

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

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