clayrat/refutation clayrat/refutation

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language Idris
  • Created about 4 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
clayrat/refutation
github

clayrat

Reviews

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

Repository Details

Refutation and paraconsistent calculi

More Repositories

1

sequent-calc-talk

Code for the "Logic, machines and sequent calculus" talk
Idris
31
star
2

sequent-calc

Experiments with sequent calculi
Idris
26
star
3

modal-types

Experiments with modal types
Idris
17
star
4

idris-linear

Experiments with linear types
Idris
13
star
5

opticui-elm-architecture

Elm arch guide in OpticUI
PureScript
13
star
6

coherence-spaces

linear logic semantics
Coq
9
star
7

guarded-cm

Experiments with guarded recursion
Agda
7
star
8

rp-with-monix

Examples from "Reactive Programming with RxJava" in Monix
Scala
7
star
9

logrel-guarded

Guarded logical relations
Agda
6
star
10

exp-subs

Explicit substitution calculi
Idris
6
star
11

dialectica

Dialectica translations
Coq
5
star
12

blott-experiments

Experiments with dependent modal types
Idris
5
star
13

idris-trees

Trees in Idris
Idris
5
star
14

log-rels

Logical relations and normalisation
Idris
5
star
15

ipc-ssr

Weich's Intuitionistic Solver in SSReflect
Coq
4
star
16

think-bayes-idris

Think Bayes in Idris
Idris
4
star
17

idris-selective

Selective functors in Idris
Idris
4
star
18

resolution-ssr

Resolution in SSReflect
Coq
4
star
19

idris-semidirect

Semidirect products for Idris
Idris
3
star
20

comonads

Scala
3
star
21

pfad-scala

Pearls of Functional Algorithm Design in Scala
Scala
3
star
22

idris-smtlib

SMT-LIB text interface for Idris
Idris
3
star
23

idris-datadata

Datatypes of datatypes
Idris
3
star
24

preger

Presburger solver
Idris
3
star
25

kanren

Port of miniKanren to Scala
Scala
3
star
26

free-applicative

Free Applicative Functor
Scala
3
star
27

figra

Fine-grained & lock-free examples in Rust
Rust
3
star
28

language-redtt

VSCode plugin for redtt
3
star
29

purelywiki

TiddlyWiki Typechecked
PureScript
2
star
30

coq-foata

Foata normalization
Coq
2
star
31

idris-functors

Functors
Idris
2
star
32

guarded-termination

Termination proofs for guarded algorithms
Agda
2
star
33

guarded-absint

Guarded abstract interpretation
Agda
2
star
34

finmap-cm

Finite maps with ordered keys
Agda
1
star
35

dwujescica

Polish cyrillic system
PureScript
1
star
36

scalaz7-examples

Scala
1
star
37

idris-vecspace

Abstract vector spaces in Idris
Idris
1
star
38

idris-order

Order/domain theory
Idris
1
star
39

euler

Proj Euler
Scala
1
star
40

provability-cm

Port of S4+GL semantics to cubical-mini
Agda
1
star
41

marshal

serialization for Idris
Idris
1
star
42

force-layout

PureScript
1
star
43

unification

unification algorithms in Idris
Idris
1
star