Working through Type-Driven Development with Idris
☆27Sep 7, 2016Updated 10 years ago
Alternatives and similar repositories for tdd-with-idris
Users that are interested in tdd-with-idris are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10May 3, 2017Updated 9 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Jul 3, 2021Updated 5 years ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 9 years ago
- A small library for tracking mutable state in Idris programs☆12Apr 19, 2017Updated 9 years ago
- Proof checker for propositional logic☆16Jul 7, 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.
- A compiler from mini-STG to Wasm (**far from complete**)☆14Jun 13, 2017Updated 9 years ago
- Recursion schemes in TypeScript (POC)☆22May 29, 2020Updated 6 years ago
- this repo demonstrates calling purescript from javascript through the output.☆11Jul 23, 2017Updated 9 years ago
- Sample code from "Type Driven Development with Idris"☆162Aug 6, 2017Updated 9 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 9 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Jan 19, 2017Updated 9 years ago
- A free Static Land compatible Monad implementation☆15Jan 6, 2019Updated 7 years ago
- ☆14Updated this week
- A library for writing chemical and biological data management systems☆10Oct 24, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Github project where I track everything related to my thesis☆28Sep 2, 2016Updated 10 years ago
- ESLint plugin for typescript to enforce fp-ts functions to avoid the most common javascript problems☆17Oct 30, 2021Updated 5 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- Semantics for Cryptol☆15Apr 9, 2018Updated 8 years ago
- Immutable and mutable (linear) arrays☆14Sep 2, 2026Updated last month
- Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML☆60Apr 18, 2011Updated 15 years ago
- Property Based Testing in Elm☆15Nov 15, 2016Updated 9 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆20Aug 23, 2021Updated 5 years ago
- 👨🏻🎓 Playground for learning programming languages☆27Mar 30, 2025Updated last year
- 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.
- ☆50Dec 21, 2017Updated 8 years ago
- Work in progress☆41Jun 7, 2025Updated last year
- A Lasp PG adapter for the Phoenix framework pubsub☆18Apr 18, 2018Updated 8 years ago
- types for various combinatory systems, especialy tree calculi☆29Jan 23, 2025Updated last year
- Tests demonstrating CLJ-1285☆11Dec 11, 2014Updated 11 years ago
- TParsec - Total Parser Combinators in Idris☆100Aug 7, 2023Updated 3 years ago
- Total Logic-Less Templating Library☆14Jan 25, 2018Updated 8 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆25Nov 29, 2025Updated 11 months ago
- MTL-style in TypeScript☆25Feb 27, 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.
- My talk for Yow! 2012☆14Jan 2, 2013Updated 13 years ago
- 🚲 A Cycle.js Driver for Telegram Bot API☆20Mar 19, 2017Updated 9 years ago
- Formalisation of a type unification algorithm in Coq proof assistant.☆21Oct 9, 2018Updated 8 years ago
- Dijkstra's shortest path algorithm implemented at type level with Haskell☆20Dec 11, 2017Updated 8 years ago
- A purely-functional, strongly-typed functional mocking library for Free programs☆49May 28, 2016Updated 10 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Jan 10, 2026Updated 9 months ago
- GraphQL Schema generation in Haskell☆17Mar 27, 2020Updated 6 years ago