clayrat/idris-linear external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

clayrat/idris-linear

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/clayrat/idris-linear)

Close

clayrat / idris-linearView on GitHubMore

• External links
• Readme badge

Experiments with linear types

☆14Feb 23, 2018Updated 8 years ago

Alternatives and similar repositories for idris-linear

Users that are interested in idris-linear are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• puffnfresh / language-scala

  View on GitHub
  Pretty printer of Scala
  ☆20Oct 21, 2020Updated 5 years ago
• proglang / ldgv

  View on GitHub
  Label dependent dependent session types
  ☆16May 2, 2024Updated last year
• eraserhd / Idris-json

  View on GitHub
  Formally verified JSON parser
  ☆15Sep 27, 2017Updated 8 years ago
• ekmett / perhaps

  View on GitHub
  A monad, perhaps.
  ☆32Feb 10, 2020Updated 6 years ago
• paf31 / purescript-foreign-lens

  View on GitHub
  A lens-compatible set of getters for purescript-foreign
  ☆10Apr 4, 2017Updated 8 years ago
• kbertalan / tyttp

  View on GitHub
  ☆23May 10, 2025Updated 10 months ago
• stefan-hoeck / idris2-webidl

  View on GitHub
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆16Feb 10, 2025Updated last year
• maxsnew / grammars-and-semantic-actions

  View on GitHub
  Intrinsic Verification of Formal Grammar Theory
  ☆27Nov 22, 2025Updated 4 months ago
• A1kmm / http4idris

  View on GitHub
  An experimental HTTP framework for Idris
  ☆14Mar 4, 2020Updated 6 years ago
• kai-qu / linear-logic

  View on GitHub
  An encoding of linear logic in Coq with minimal Sokoban and blocks world examples
  ☆22Feb 4, 2022Updated 4 years ago
• ayberkt / Mini-TT

  View on GitHub
  A tiny implementation of dependent types.
  ☆11Oct 24, 2017Updated 8 years ago
• Coq-Math-Problems / Problems

  View on GitHub
  ☆16Jun 17, 2017Updated 8 years ago
• vmchale / recursion_schemes

  View on GitHub
  Recursion schemes for Idris
  ☆64Aug 23, 2018Updated 7 years ago
• stefan-hoeck / idris2-tailrec

  View on GitHub
  Provably total, tail-call optimized monadic recursion in Idris2
  ☆15Nov 14, 2023Updated 2 years ago
• jameshaydon / idris-graphql

  View on GitHub
  Idris GraphQL
  ☆16Dec 16, 2017Updated 8 years ago
• sto0pkid / swipl-tt

  View on GitHub
  Implementation of dependent type theory in SWI-Prolog
  ☆10Oct 6, 2020Updated 5 years ago
• bigs / idris2-libgit2

  View on GitHub
  Libgit2 bindings for Idris 2
  ☆13Sep 10, 2020Updated 5 years ago
• MarcelineVQ / idris2-elab-deriving

  View on GitHub
  implementation deriving for idris2
  ☆12Feb 21, 2021Updated 5 years ago
• remexre / evaltrees

  View on GitHub
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Jun 2, 2025Updated 9 months ago
• naalit / durin

  View on GitHub
  the Dependent Unboxed higher-oRder Intermediate Notation
  ☆14Feb 8, 2022Updated 4 years ago
• ahmadsalim / desc-n-crunch

  View on GitHub
  Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.
  ☆11Jan 14, 2019Updated 7 years ago
• ohad / collie

  View on GitHub
  Command line interface library in Idris
  ☆34Jul 26, 2024Updated last year
• atcol / dhall-openapi

  View on GitHub
  Dhall expressions for OpenAPI 3.0.x
  ☆13Mar 31, 2019Updated 6 years ago
• dspivak / dependent-types

  View on GitHub
  ☆12Mar 13, 2025Updated last year
• tel / hotep

  View on GitHub
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Jan 19, 2017Updated 9 years ago
• MarcelineVQ / idris2-curl

  View on GitHub
  libcurl bindings for idris2
  ☆15Feb 21, 2021Updated 5 years ago
• jameshaydon / smproc

  View on GitHub
  A well-typed symmetric-monoidal category of concurrent processes
  ☆25Nov 12, 2018Updated 7 years ago
• webyrd / curnelo

  View on GitHub
  Cur dependently-typed language in miniKanren.
  ☆17Jan 26, 2018Updated 8 years ago
• TheMatten / hask

  View on GitHub
  Funny little Haskell impl
  ☆18Oct 28, 2020Updated 5 years ago
• idris-community / katla

  View on GitHub
  ☆22May 19, 2025Updated 10 months ago
• rbarreiro / idrisjs

  View on GitHub
  Js libraries for idris
  ☆49Feb 2, 2020Updated 6 years ago
• grin-compiler / idris-grin

  View on GitHub
  GRIN backend for Idris
  ☆50Apr 11, 2020Updated 5 years ago
• dorchard / effectful-explanations-talk

  View on GitHub
  "Programs that explain their effects" talk material
  ☆17Jun 22, 2018Updated 7 years ago
• int-index / union

  View on GitHub
  Extensible type-safe unions for Haskell
  ☆34Mar 15, 2025Updated last year
• TheoWinterhalter / formal-type-theory

  View on GitHub
  Formalising Type Theory in a modular way for translations between type theories
  ☆95Jan 10, 2018Updated 8 years ago
• stefan-hoeck / idris2-rhone-js

  View on GitHub
  Experimental JS bindings for idris2-rhone
  ☆21Oct 22, 2023Updated 2 years ago
• jonsterling / tt

  View on GitHub
  secret project
  ☆17Mar 14, 2018Updated 8 years ago
• stefan-hoeck / idris2-rhone

  View on GitHub
  ☆19Apr 5, 2024Updated last year
• merijn / lambda-except

  View on GitHub
  ☆11Nov 5, 2015Updated 10 years ago