An Idris type provider for communicating type-checkable protocols.
☆27Nov 6, 2017Updated 9 years ago
Alternatives and similar repositories for flying-spaghetti-monster
Users that are interested in flying-spaghetti-monster are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A small profunctor library for idris☆17Nov 3, 2022Updated 4 years ago
- Idris tactics for (commutative) monoids☆20May 24, 2020Updated 6 years ago
- Github project where I track everything related to my thesis☆28Sep 2, 2016Updated 10 years ago
- Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.☆14Apr 5, 2017Updated 9 years ago
- ☆16Dec 28, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A recursion scheme library for Idris.☆25Jun 27, 2026Updated 4 months ago
- WebAssembly Code Generation Backend for Idris Compiler☆81Jun 26, 2018Updated 8 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆26Nov 12, 2018Updated 7 years ago
- A small bifunctor library for idris☆21Dec 28, 2020Updated 5 years ago
- Type Theory in Type Theory using Cubical Agda☆15Feb 21, 2019Updated 7 years ago
- Total Logic-Less Templating Library☆14Jan 25, 2018Updated 8 years ago
- A nano "theorem prover".☆63Feb 15, 2019Updated 7 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 10 years ago
- Command line interface library in Idris☆35Jul 26, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Virtual Classes for Scala implemented as annotation macro☆11Aug 27, 2014Updated 12 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆16Oct 21, 2022Updated 4 years ago
- Type-preserving CPS translation for simply- and dependently-typed lambda calculi☆18Jun 3, 2017Updated 9 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 10 years ago
- Idris + Ur/Web development of a perfect information, fair, deterministic turn based strategy game, built with dependent types!☆18Nov 4, 2018Updated 8 years ago
- Provides a type-safe way of working with permutations in Idris☆38Oct 3, 2021Updated 5 years ago
- A free monad interface to the canvas☆13Apr 24, 2017Updated 9 years ago
- Typecoin: Massively Multiplayer Online Linear Logic☆18May 5, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.☆18Oct 12, 2018Updated 8 years ago
- Invertible syntax for Scala.☆13Oct 17, 2016Updated 10 years ago
- AACMM's generic-syntax, but with QTT-style annotations☆22Apr 7, 2024Updated 2 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Feb 25, 2020Updated 6 years ago
- Recursion schemes for Idris☆64Aug 23, 2018Updated 8 years ago
- a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features☆119Sep 12, 2018Updated 8 years ago
- A Common Intermediate Language backend for Idris 1☆133Oct 29, 2018Updated 8 years ago
- Final tagless talk sources.☆15May 4, 2017Updated 9 years ago
- Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]☆26Nov 3, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆17Dec 10, 2019Updated 6 years ago
- A Go backend for Idris☆15Jul 28, 2018Updated 8 years ago
- Internet relay chat demo using scalaz-streams☆34Mar 7, 2016Updated 10 years ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 8 years ago
- "Programs that explain their effects" talk material☆17Jun 22, 2018Updated 8 years ago
- NbE course @ Chalmers☆28Sep 24, 2024Updated 2 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 8 years ago