Extensible records for Idris
☆25Jun 13, 2021Updated 5 years ago
Alternatives and similar repositories for extensible-records
Users that are interested in extensible-records are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Invertible syntax and partial isomorphisms for Scala☆31Nov 28, 2017Updated 8 years ago
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- ☆21Feb 27, 2023Updated 3 years ago
- Algebraic UI's in Purescript☆16Dec 4, 2020Updated 5 years ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 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.
- Total Logic-Less Templating Library☆14Jan 25, 2018Updated 8 years ago
- FFI Bindings to interact with the unsafe world of JavaScript☆93Oct 7, 2018Updated 8 years ago
- freer monads and cofreer comonads.☆24Jun 26, 2018Updated 8 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 10 years ago
- A simple build system for Idris☆22Mar 19, 2021Updated 5 years ago
- Provides a type-safe way of working with permutations in Idris☆38Oct 3, 2021Updated 5 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆40May 1, 2018Updated 8 years ago
- WIP: Presentation turned blog series: Building the simplest possible thing over and over again.☆16Sep 5, 2017Updated 9 years ago
- Rational numbers for PureScript☆13Oct 11, 2026Updated 3 weeks 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.
- ☆23May 29, 2023Updated 3 years ago
- A tiny EDSL for making slides in PureScript☆26Apr 27, 2017Updated 9 years ago
- ☆13May 7, 2023Updated 3 years ago
- Argonaut codecs for aeson generic encoding☆12Dec 24, 2022Updated 3 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 9 years ago
- ☆23May 10, 2025Updated last year
- Experiments in implementing functional data structures in Idris☆15Jul 25, 2019Updated 7 years ago
- A small PureScript only MVC library☆13Jan 6, 2023Updated 3 years ago
- ☆22Nov 8, 2017Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Jun 3, 2022Updated 4 years ago
- Type-level API for standard collections☆33Jun 6, 2016Updated 10 years ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆25Jun 2, 2020Updated 6 years ago
- just an example of how simple ADTs should have JSON serialization and deserialization automatically derived☆12Jan 22, 2017Updated 9 years ago
- Synchronous programming in Haskell☆17Oct 19, 2020Updated 6 years ago
- Js libraries for idris☆49Feb 2, 2020Updated 6 years ago
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆32Apr 29, 2022Updated 4 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
- Library support for the compiler-builtin Coercible type class.☆20Oct 17, 2026Updated 2 weeks ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Simple two-dimensional matrices backed by a flat array☆18Feb 24, 2020Updated 6 years ago
- A test framework for Idris☆55Mar 21, 2019Updated 7 years ago
- A priliminary backend for Idris that compiles to Clean.☆15Apr 3, 2017Updated 9 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- Dependently typed core calculus with erasure☆19Aug 31, 2021Updated 5 years ago
- Agda category theory library for denotational design☆61Apr 20, 2026Updated 6 months ago