clayrat/modal-types clayrat/modal-types

  • Stars
    star
    17
  • Rank 1,257,181 (Top 25 %)
  • Language Idris
  • Created over 5 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
clayrat/modal-types
github

clayrat

Reviews

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

Repository Details

Experiments with modal types

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

idris-linear

Experiments with linear types
Idris
13
star
4

opticui-elm-architecture

Elm arch guide in OpticUI
PureScript
13
star
5

coherence-spaces

linear logic semantics
Coq
9
star
6

guarded-cm

Experiments with guarded recursion
Agda
7
star
7

rp-with-monix

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

logrel-guarded

Guarded logical relations
Agda
6
star
9

exp-subs

Explicit substitution calculi
Idris
6
star
10

dialectica

Dialectica translations
Coq
5
star
11

blott-experiments

Experiments with dependent modal types
Idris
5
star
12

idris-trees

Trees in Idris
Idris
5
star
13

log-rels

Logical relations and normalisation
Idris
5
star
14

ipc-ssr

Weich's Intuitionistic Solver in SSReflect
Coq
4
star
15

think-bayes-idris

Think Bayes in Idris
Idris
4
star
16

idris-selective

Selective functors in Idris
Idris
4
star
17

refutation

Refutation and paraconsistent calculi
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