lsrcz/learning-Haskell lsrcz/learning-Haskell

  • Stars
    star
    2
  • Language
    Haskell
  • License
    Creative Commons ...
  • Created almost 7 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lsrcz/learning-Haskell
github

lsrcz

Reviews

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

Repository Details

Solutions to the book Haskell Programming from first principles.

More Repositories

1

grisette

A monadic library for symbolic evaluation
Haskell
51
star
2

mini-prover

Term project for TaPL. A mini coq-like proof assistant.
Haskell
16
star
3

Pointer-Analysis

Java
4
star
4

grisette-haskell-legacy

Haskell
3
star
5

GED

Graph edit distance
C++
3
star
6

KerasGUI

This is the course project for Java Programming
Java
3
star
7

MURA-Model

A model for the MURA dataset
Python
2
star
8

grisette-g2q-benchmarks

Haskell
2
star
9

grisette-examples

Haskell
2
star
10

grisette-monad-coroutine

Haskell
1
star
11

torch-extension-test

Cuda
1
star
12

grisette-playground

Playing with Grisette for exploring new features
Nix
1
star
13

grisette-synth-lib

Haskell
1
star
14

first-order-dpsynth

Haskell
1
star
15

grisette-benchmarks

Haskell
1
star
16

leanette-popl22-artifact

Racket
1
star
17

grisette-megaparsec

Haskell
1
star
18

grisette-fused-effects

Haskell
1
star
19

SyGuS

Python
1
star
20

grisette-coq

Coq
1
star
21

grisette-popl23-artifact

Dockerfile
1
star
22

Seam-Carving

Content-aware image retargeting implemented in Python
Python
1
star