FAQ about Madrid for digital nomads
☆17Oct 28, 2026Updated this week
Alternatives and similar repositories for madrid101
Users that are interested in madrid101 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 Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 9 years ago
- Applicative Folds, in the style of Gabriel Gonzalez' foldl library☆14Mar 21, 2019Updated 7 years ago
- A graphical tool to translate lambda terms to proof nets and run GoI token machine on it☆10Apr 24, 2016Updated 10 years ago
- View poses coming out of pose estimation networks.☆11Mar 25, 2023Updated 3 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 9 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.
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Type Theory in Type Theory using Cubical Agda☆15Feb 21, 2019Updated 7 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 7 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 6 years ago
- Propositional logic tools, inspired by the Coq standard library.☆10Dec 19, 2017Updated 8 years ago
- ☆16Feb 18, 2025Updated last year
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- A simplistic AFRP implementation☆13Sep 3, 2015Updated 11 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 9 years ago
- An infinity-categorical coherence typechecker☆18Nov 4, 2024Updated last year
- Work based on http://www-sop.inria.fr/marelle/GeometricAlgebra/☆12Jul 8, 2025Updated last year
- mongodb database library using scalaz-stream☆12Apr 28, 2014Updated 12 years ago
- Haskell implementation of the Levy (CBPV) language☆11Apr 4, 2012Updated 14 years ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- Experimental IntML-Implementation☆13Feb 1, 2025Updated last year
- Scalaz 7 type class instances for various Scala and Java libraries.☆10Sep 17, 2012Updated 14 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Fast, simple Free Monads using ScalaMeta macro annotations. Port of Freasy-Monad.☆14Oct 16, 2017Updated 9 years ago
- Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]☆12Aug 11, 2024Updated 2 years ago
- A simple typeclass library inspired by scalaz meant as a learning tool by reducing the initial complexity of scalaz.☆10Nov 7, 2016Updated 9 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 10 years ago
- ☆11Jul 2, 2024Updated 2 years ago
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 10 years ago
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- Experimental normalisation via scheme☆11Jul 25, 2021Updated 5 years ago
- A simpler request/response abstraction on top of Hyper☆13Jul 26, 2018Updated 8 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.
- Code from my StrangeLoop 2014 Idris presentation.☆13Sep 20, 2014Updated 12 years ago
- An idiomatic mini-interface to Redux for PureScript☆11Apr 11, 2017Updated 9 years ago
- Many-to-many broadcasting☆16Oct 11, 2026Updated 2 weeks ago
- A Game of Life written in Purescript using Rx and React/canvas/console UIs.☆10Dec 9, 2016Updated 9 years ago
- Python scripts from Shape of Data Case Studies☆14Jan 7, 2014Updated 12 years ago
- Scala library for biochemical network simulation, associated with the 3rd edition of the textbook Stochastic Modelling for Systems Biolog…☆13Dec 3, 2025Updated 10 months ago
- Rational numbers for PureScript☆13Oct 11, 2026Updated 2 weeks ago