smimram/div2 smimram/div2

  • Stars
    star
    2
  • Language Agda
  • Created almost 3 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
smimram/div2
github

smimram

Reviews

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

Repository Details

An Agda formalization of "division by 2" in classical ZF without choice.

More Repositories

1

funk

Functional kernel written in OCaml.
OCaml
32
star
2

monadic-synth

A monadic library for creating synthesizers in OCaml.
OCaml
31
star
3

ocaml-pandoc

An OCaml library for creating pandoc filters.
OCaml
29
star
4

strid

A string diagram generator for LaTeX.
OCaml
26
star
5

ocaml-alg

Algebraic structures in OCaml.
OCaml
17
star
6

catt

An infinity-categorical coherence typechecker
OCaml
15
star
7

satex

String diagrams in LaTeX.
OCaml
13
star
8

snippetor

Extract snippets from code specified by comments.
OCaml
11
star
9

ocaml-glpk

OCaml bindings for glpk
C
10
star
10

learning-effect

Modeling guitar amplifiers using machine learning.
OCaml
9
star
11

Mini-TT

A simple type-theoretic language in OCaml: Mini-TT
OCaml
8
star
12

mlsub

My own implementation of MLsub.
OCaml
8
star
13

fibred-polynomials

Formalizing polynomials in groupoids.
Agda
7
star
14

saml

A compiler for sound generators and processors.
OCaml
7
star
15

sparkling

Perform verification of concurrent programs using syntactic regions.
OCaml
5
star
16

ocaml-nn

Neural networks in OCaml.
OCaml
4
star
17

homer

Homotopy and rewriting
OCaml
3
star
18

hyper

Hypergraph rewriting for PROPs
OCaml
3
star
19

my-HoTT-Agda

Agda developments in homotopy type theory
Agda
2
star
20

agda100

Formalizing 100 theorems in Agda
Agda
2
star
21

polyr

Polygraphic rewriting
OCaml
2
star
22

ocaml-dblp

OCaml library to use the DBLP bibliographic database API.
OCaml
2
star
23

ocaml-irc

IRC client for OCaml
OCaml
2
star
24

bgsubtract0r

Frei0r plugin to perform background subtraction on a still video.
C
2
star
25

levenfind

Find pairs of similar files according to Levenshtein distance.
OCaml
2
star
26

ocaml-elaboration-zoo

Minimal implementations for dependent type checking and elaboration, in OCaml.
OCaml
2
star
27

ocaml-backprop

Automatic backpropagation in OCaml.
OCaml
2
star
28

videocast

Broadcast video from browser to Liquidsoap.
JavaScript
1
star
29

lemonde-notify

Notifications Gnome pour le flux live du Monde.
Python
1
star
30

collage

Make photo collages (to print photobooks).
OCaml
1
star
31

smimram.github.com

Webpage.
HTML
1
star
32

agda-polygraphs

Polygraphs in Agda.
Agda
1
star
33

methml

An ML language with methods.
OCaml
1
star
34

proof-assistant-project

Template for the proof assistant project CSC_51051_EP.
OCaml
1
star