Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by clayrat

A curated list of projects in awesome lists by clayrat .

https://github.com/clayrat/fav-ssr

Functional Algorithms Verified in SSReflect

Last synced: 04 Aug 2024

https://github.com/clayrat/sequent-calc-talk

Code for the "Logic, machines and sequent calculus" talk

abstract-machine sequent-calculus

Last synced: 06 Nov 2024

https://github.com/clayrat/sequent-calc

Experiments with sequent calculi

abstract-machine sequent-calculus

Last synced: 06 Nov 2024

https://github.com/clayrat/modal-types

Experiments with modal types

Last synced: 06 Nov 2024

https://github.com/clayrat/opticui-elm-architecture

Elm arch guide in OpticUI

Last synced: 06 Nov 2024

https://github.com/clayrat/idris-linear

Experiments with linear types

linear-types

Last synced: 06 Nov 2024

https://github.com/clayrat/coherence-spaces

linear logic semantics

Last synced: 10 Oct 2024

https://github.com/clayrat/rp-with-monix

Examples from "Reactive Programming with RxJava" in Monix

monix rxjava

Last synced: 10 Oct 2024

https://github.com/clayrat/guarded-cm

Experiments with guarded recursion

Last synced: 06 Nov 2024

https://github.com/clayrat/exp-subs

Explicit substitution calculi

Last synced: 06 Nov 2024

https://github.com/clayrat/logrel-guarded

Guarded logical relations

Last synced: 06 Nov 2024

https://github.com/clayrat/blott-experiments

Experiments with dependent modal types

Last synced: 06 Nov 2024

https://github.com/clayrat/idris-trees

Trees in Idris

tree

Last synced: 06 Nov 2024

https://github.com/clayrat/dialectica

Dialectica translations

Last synced: 28 Oct 2024

https://github.com/clayrat/log-rels

Logical relations and normalisation

Last synced: 06 Nov 2024

https://github.com/clayrat/refutation

Refutation and paraconsistent calculi

idris

Last synced: 06 Nov 2024

https://github.com/clayrat/idris-selective

Selective functors in Idris

Last synced: 06 Nov 2024

https://github.com/clayrat/think-bayes-idris

Think Bayes in Idris

bayesian-statistics

Last synced: 06 Nov 2024

https://github.com/clayrat/resolution-ssr

Resolution in SSReflect

Last synced: 10 Oct 2024

https://github.com/clayrat/kanren

Port of miniKanren to Scala

Last synced: 06 Nov 2024

https://github.com/clayrat/idris-semidirect

Semidirect products for Idris

group-theory

Last synced: 06 Nov 2024

https://github.com/clayrat/idris-smtlib

SMT-LIB text interface for Idris

smt-solver

Last synced: 06 Nov 2024

https://github.com/clayrat/free-applicative

Free Applicative Functor

Last synced: 06 Nov 2024

https://github.com/clayrat/pfad-scala

Pearls of Functional Algorithm Design in Scala

Last synced: 06 Nov 2024

https://github.com/clayrat/language-redtt

VSCode plugin for redtt

Last synced: 06 Nov 2024

https://github.com/clayrat/ipc-ssr

Weich's Intuitionistic Solver in SSReflect

Last synced: 10 Oct 2024

https://github.com/clayrat/idris-datadata

Datatypes of datatypes

Last synced: 06 Nov 2024

https://github.com/clayrat/comonads

Last synced: 06 Nov 2024

https://github.com/clayrat/guarded-termination

Termination proofs for guarded algorithms

Last synced: 06 Nov 2024

https://github.com/clayrat/idris-functors

Functors

idris

Last synced: 06 Nov 2024

https://github.com/clayrat/coq-foata

Foata normalization

Last synced: 06 Nov 2024

https://github.com/clayrat/preger

Presburger solver

presburger-arithmetic solver

Last synced: 06 Nov 2024

https://github.com/clayrat/figra

Fine-grained & lock-free examples in Rust

lock-free rust

Last synced: 06 Nov 2024

https://github.com/clayrat/guarded-absint

Guarded abstract interpretation

Last synced: 06 Nov 2024

https://github.com/clayrat/purelywiki

TiddlyWiki Typechecked

Last synced: 06 Nov 2024

https://github.com/clayrat/idris-vecspace

Abstract vector spaces in Idris

linear-algebra

Last synced: 06 Nov 2024

https://github.com/clayrat/dwujescica

Polish cyrillic system

Last synced: 06 Nov 2024

https://github.com/clayrat/marshal

serialization for Idris

Last synced: 06 Nov 2024

https://github.com/clayrat/euler

Proj Euler

Last synced: 06 Nov 2024

https://github.com/clayrat/unification

unification algorithms in Idris

Last synced: 06 Nov 2024

https://github.com/clayrat/provability-cm

Port of S4+GL semantics to cubical-mini

Last synced: 06 Nov 2024

https://github.com/clayrat/idris-order

Order/domain theory

Last synced: 06 Nov 2024

https://github.com/clayrat/alda-experiments

Musical experiments in Alda

alda music

Last synced: 06 Nov 2024

https://github.com/clayrat/audiyo

Last synced: 06 Nov 2024

https://github.com/clayrat/datasci-2013

Data science materials for Coursera 2013

Last synced: 06 Nov 2024

https://github.com/clayrat/droste-exp

Recursion schemes with Droste

Last synced: 06 Nov 2024

https://github.com/clayrat/st-random

Control.ST.Random

idris

Last synced: 06 Nov 2024

https://github.com/clayrat/guarded-lh

Guarded LiquidHaskell

Last synced: 06 Nov 2024

https://github.com/clayrat/fpinidris

FP in Scala but in Idris

Last synced: 06 Nov 2024

https://github.com/clayrat/idris-optics

Optic experiments

Last synced: 06 Nov 2024

https://github.com/clayrat/prsa

Proof-relevant separation algebras from Rouvoet et al

Last synced: 06 Nov 2024

https://github.com/clayrat/proofsearch

Proof search

Last synced: 06 Nov 2024

https://github.com/clayrat/game-sem

Game semantics

Last synced: 06 Nov 2024

https://github.com/clayrat/matasano-idris

Matasano crypto challenges in Idris

Last synced: 06 Nov 2024

https://github.com/clayrat/think-stats-scala

Think Stats in Scala

Last synced: 06 Nov 2024

https://github.com/clayrat/tiddly2gdf

Convert tiddlywiki to a graph

Last synced: 06 Nov 2024

https://github.com/clayrat/guarded-automata

Automata in guarded type theory

Last synced: 06 Nov 2024

https://github.com/clayrat/idris-ws

Game semantics of WS

Last synced: 06 Nov 2024

https://github.com/clayrat/guarded-objects

Objects via guarded types

Last synced: 06 Nov 2024