joaomilho/awesome-idris

𝛌 Awesome Idris resources

Language: Idris - Size: 27.3 KB - Last synced at: 13 days ago - Pushed at: almost 6 years ago - Stars: 404 - Forks: 17

paulcadman/the-little-typer

Resources for "The Little Typer" study group

Language: Racket - Size: 56.6 KB - Last synced at: about 2 months ago - Pushed at: over 5 years ago - Stars: 48 - Forks: 11

rpeszek/IdrisTddNotes

Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell

Language: Haskell - Size: 834 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 47 - Forks: 5

farlee2121/FsSpec

FsSpec represents value constraints as data to reuse one constraint declaration for validation, data generation, error explanation, and more.

Language: F# - Size: 342 KB - Last synced at: 5 months ago - Pushed at: 10 months ago - Stars: 25 - Forks: 0

antonagestam/immoney

A better standard for representing money in Python.

Language: Python - Size: 340 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 20 - Forks: 0

lucaswkuipers/SafeTypes

Swift Library to improve type safety in Swift.

Language: Swift - Size: 93.8 KB - Last synced at: 2 months ago - Pushed at: almost 2 years ago - Stars: 12 - Forks: 0

lucaswkuipers/SafeTypesMacros

Macros for compile-time SafeTypes initializers from literals

Language: Swift - Size: 79.1 KB - Last synced at: 2 months ago - Pushed at: almost 2 years ago - Stars: 7 - Forks: 0

fr33m0nk/type-driven-functional-programming 📦

Typedriven Functional programming in Typescript targeting Bun runtime

Size: 37.1 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

jabrena/type-problems

A set of problems to improve your skills with TyDD, Type Driven Development with Java and some additional Functional libraries

Size: 134 KB - Last synced at: about 2 months ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 0

yurrriq/tdd-with-idris

:book: Working through Type-Driven Development with Idris

Language: Idris - Size: 221 KB - Last synced at: 4 months ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 1

twoLoop-40/idris2-python-boilerplate

Type-driven AI code generation with Idris2 dependent types - Production-ready boilerplate

Language: Shell - Size: 62.5 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

mtavkhelidze/les-billets

WIP: A simple support ticketing system and a playground for the new things I want to try/learn.

Language: TypeScript - Size: 6.56 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

rvarago/cpp_refined

*EXPERIMENTAL* Types + Predicates in C++, sort-of

Language: C++ - Size: 34.2 KB - Last synced at: 3 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

ythirion/snafu-kata

Solves AOC 2022 with Types-Driven Development and Property-Based Testing

Language: C# - Size: 719 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

andreykl/tdd

type driven development with idris book samples

Language: Idris - Size: 60.5 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 1

belamenso/idris-book

Notes and exercises from "Type-Driven Development with Idris"

Language: Idris - Size: 51.8 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

bkase/idris-book

Going through exercises in the Type Driven Development book

Language: Idris - Size: 13.7 KB - Last synced at: 5 months ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

amukiza/tdd-book

Language: Idris - Size: 1.95 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0