sayon/coq-cata sayon/coq-cata

  • Stars
    star
    2
  • Language Coq
  • License
    GNU General Publi...
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sayon/coq-cata
github

sayon

Reviews

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

Repository Details

study on coq catamorphisms encoding

More Repositories

1

forthress

A Forth dialect implementation for educational purposes
Forth
50
star
2

dwarf-vm

This is a simple stack virtual machine to be a translation target for toy languages.
C
10
star
3

stepik-c-course

Материалы для курса "Программирование на C и выполнение программ"
C
5
star
4

simple-jit-cpp

C++
4
star
5

camlocraft

Minecraft clone in Ocaml
OCaml
4
star
6

dynamic-libraries-course

Course materials
TeX
3
star
7

minivm

A compiler and virtual machine for a toy imperative language
C
3
star
8

c-hashmap-example

An exemplary hashmap implementation for strings
C
2
star
9

fp-cata-presentation

Presenting an article of Meijer, Fokkinga and Paterson "Functional programming with bananas lenses envelopes and barbed wire"
TeX
2
star
10

dwarf-cs

C#
1
star
11

jurnalu-downloader

a tool to download comic books from jurnalu dot ru
C#
1
star
12

forthress-2

an alternative version of Forthress with a better thought-out syntax and VM
Assembly
1
star
13

c-classes

C
1
star
14

bentley-ottman-snap-rounding

Sample bentley-ottman implementation (with snap rounding)
Scala
1
star
15

remote-launcher

A simple tool to run a command transfered through network
C#
1
star
16

itmo-classes-annotations

1
star
17

kotlin-fsm-dsl

A simple example of how you can use kotlin to build a DSL, describing state machines
Kotlin
1
star
18

ignoreme

A legendary program to distinguish programming languages is now on GitHub!
Python
1
star
19

XOnD

Classic tic tac toe in 4 dimensional space
JavaScript
1
star
20

scripts

a collection of short scripts I am using on my debian VM
Shell
1
star