joaomilho/awesome-idris

𝛌 Awesome Idris resources

Language: Idris - Size: 27.3 KB - Last synced at: 9 days ago - Pushed at: about 5 years ago - Stars: 400 - Forks: 18

rpeszek/IdrisTddNotes

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

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

paulcadman/the-little-typer

Resources for "The Little Typer" study group

Language: Racket - Size: 56.6 KB - Last synced at: 2 days ago - Pushed at: about 5 years ago - Stars: 47 - Forks: 11

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: 7 days ago - Pushed at: 2 months ago - Stars: 25 - Forks: 0

antonagestam/immoney

A better standard for representing money in Python.

Language: Python - Size: 264 KB - Last synced at: 26 days ago - Pushed at: 3 months ago - Stars: 19 - Forks: 0

lucaswkuipers/SafeTypes

Swift Library to improve type safety in Swift.

Language: Swift - Size: 93.8 KB - Last synced at: 23 days ago - Pushed at: about 1 year ago - Stars: 12 - Forks: 0

lucaswkuipers/SafeTypesMacros

Macros for compile-time SafeTypes initializers from literals

Language: Swift - Size: 79.1 KB - Last synced at: 23 days ago - Pushed at: about 1 year 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: about 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: 15 days ago - Pushed at: over 5 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: about 1 month ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

rvarago/cpp_refined

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

Language: C++ - Size: 34.2 KB - Last synced at: about 13 hours ago - Pushed at: about 14 hours ago - Stars: 0 - 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: about 1 month ago - Pushed at: about 1 month 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: almost 2 years ago - Pushed at: almost 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: over 1 year ago - Pushed at: over 6 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: about 2 years ago - Pushed at: over 6 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: about 1 month ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

amukiza/tdd-book

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