lsrcz/grisette-coq lsrcz/grisette-coq

  • Stars
    star
    1
  • Language Coq
  • Created about 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lsrcz/grisette-coq
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-examples

Haskell
2
star
11

grisette-monad-coroutine

Haskell
1
star
12

torch-extension-test

Cuda
1
star
13

grisette-playground

Playing with Grisette for exploring new features
Nix
1
star
14

grisette-synth-lib

Haskell
1
star
15

first-order-dpsynth

Haskell
1
star
16

grisette-benchmarks

Haskell
1
star
17

leanette-popl22-artifact

Racket
1
star
18

grisette-megaparsec

Haskell
1
star
19

grisette-fused-effects

Haskell
1
star
20

SyGuS

Python
1
star
21

grisette-popl23-artifact

Dockerfile
1
star
22

Seam-Carving

Content-aware image retargeting implemented in Python
Python
1
star