Alex Gryzlov (@clayrat)
github

clayrat

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    232
  • Global Rank 109,653 (Top 4 %)
  • Followers 262
  • Following 138
  • Registered over 14 years ago
  • Most used languages
    Idris     46.5 %
    Scala
         16.3 %
    Agda     14.0 %
    Coq     11.6 %
    PureScript     9.3 %
    Rust
         2.3 %
  • Location 🇪🇸 Spain
  • Country Total Rank 1,235
  • Country Ranking
    Agda     1
    Idris     1
    Coq     3
    PureScript     4
    Scala
         42
    Rust
         274

Top 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

refutation

Refutation and paraconsistent calculi
Idris
4
star
19

resolution-ssr

Resolution in SSReflect
Coq
4
star
20

idris-semidirect

Semidirect products for Idris
Idris
3
star
21

comonads

Scala
3
star
22

pfad-scala

Pearls of Functional Algorithm Design in Scala
Scala
3
star
23

idris-smtlib

SMT-LIB text interface for Idris
Idris
3
star
24

idris-datadata

Datatypes of datatypes
Idris
3
star
25

preger

Presburger solver
Idris
3
star
26

kanren

Port of miniKanren to Scala
Scala
3
star
27

free-applicative

Free Applicative Functor
Scala
3
star
28

figra

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

language-redtt

VSCode plugin for redtt
3
star
30

purelywiki

TiddlyWiki Typechecked
PureScript
2
star
31

coq-foata

Foata normalization
Coq
2
star
32

idris-functors

Functors
Idris
2
star
33

guarded-termination

Termination proofs for guarded algorithms
Agda
2
star
34

guarded-absint

Guarded abstract interpretation
Agda
2
star
35

finmap-cm

Finite maps with ordered keys
Agda
1
star
36

dwujescica

Polish cyrillic system
PureScript
1
star
37

scalaz7-examples

Scala
1
star
38

idris-vecspace

Abstract vector spaces in Idris
Idris
1
star
39

idris-order

Order/domain theory
Idris
1
star
40

euler

Proj Euler
Scala
1
star
41

provability-cm

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

marshal

serialization for Idris
Idris
1
star
43

force-layout

PureScript
1
star
44

unification

unification algorithms in Idris
Idris
1
star