lsrcz/grisette-examples lsrcz/grisette-examples

  • Stars
    star
    2
  • Language
    Haskell
  • License
    Other
  • Created almost 2 years ago
  • Updated 11 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lsrcz/grisette-examples
github

lsrcz

Reviews

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

Repository Details

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

learning-Haskell

Solutions to the book Haskell Programming from first principles.
Haskell
2
star
9

grisette-g2q-benchmarks

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