dboulytchev/coq-supplementary dboulytchev/coq-supplementary

  • Stars
    star
    1
  • Language Coq
  • Created over 5 years ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dboulytchev/coq-supplementary
github

dboulytchev

Reviews

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

Repository Details

A supplementary Coq workout repository

More Repositories

1

miniKanren-coq

A certified semantics for relational programming workout.
Coq
25
star
2

microProlog

An implementation of a tiny logical Prolog-like language based on SLD-resolution
Shell
6
star
3

ostap

TeX
5
star
4

compiler-2020

A public repository for spring 2020 compiler course assignments
TeX
3
star
5

haskell-headshot

Examination problems, Haskell beginners course at SPbSU
Haskell
2
star
6

jb-lab-proceedings

Automatically exported from code.google.com/p/jb-lab-proceedings
TeX
1
star
7

direct-curry-howard

A set of samples to utilize Curry-Howard isomorphism in a direct manner (in Coq)
Coq
1
star
8

coroutine-parser-workout

A workout on coroutine parser combinators
OCaml
1
star
9

compiler-tutorial

Makefile
1
star
10

traversal-workout

Traversal-based normaliser workout
OCaml
1
star
11

game-semantics-workout

Game semantics implementation in Coq
Coq
1
star
12

LRP-2021

A supplementary repository for the course on logic and relational programming
Haskell
1
star
13

topics

1
star
14

IPLCT

Introduction to Programming Languages, Compilers, and Tools
TeX
1
star
15

typefun

Samples for Haskell type-level computations
Haskell
1
star