Topic: type-driven-development Goto Github
Some thing interesting about type-driven-development
Some thing interesting about type-driven-development
type-driven-development,A better standard for representing money in Python.
User: antonagestam
type-driven-development,Notes and exercises from "Type-Driven Development with Idris"
User: belamenso
type-driven-development,Going through exercises in the Type Driven Development book
User: bkase
type-driven-development,FsSpec represents value constraints as data to reuse one constraint declaration for validation, data generation, error explanation, and more.
User: farlee2121
type-driven-development,Typedriven Functional programming in Typescript targeting Bun runtime
User: fr33m0nk
Home Page: https://www.youtube.com/playlist?list=PLuPevXgCPUIMbCxBEnc1dNwboH6e2ImQo
type-driven-development,A set of problems to improve your skills with TyDD, Type Driven Development with Java and some additional Functional libraries
User: jabrena
type-driven-development,𝛌 Awesome Idris resources
User: joaomilho
type-driven-development,Swift Library to improve type safety in Swift.
User: lucaswkuipers
Home Page: https://www.linkedin.com/in/lucaswk/
type-driven-development,Macros for compile-time SafeTypes initializers from literals
User: lucaswkuipers
Home Page: https://www.linkedin.com/in/lucaswk/
type-driven-development,Resources for "The Little Typer" study group
User: paulcadman
type-driven-development,Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
User: rpeszek
type-driven-development,Solves AOC 2022 with Types-Driven Development and Property-Based Testing
User: ythirion
type-driven-development,:book: Working through Type-Driven Development with Idris
User: yurrriq
Home Page: http://yurrriq.codes/tdd-with-idris
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.