Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Type Driven Develop

Exercise Solution for the book Type Driven Development with Idris
Stars
5
License
No license specified
Open Issues
0
Most Recent Commit
7 years ago
Programming Language
Idris
Categories
Repo
Alternatives To Type Driven Develop
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Clj Gae Datastore74
11 years ago2lgpl-3.0Clojure
A Clojure mini-language for the Google App Engine Datastore
Type Driven Develop5
7 years agoIdris
Exercise Solution for the book Type Driven Development with Idris
Alternatives To Type Driven Develop
Select To Compare


Suggest An Alternative To type-driven-develop
Alternative Project Comparisons
Type Driven Develop vs Clj Gae Datastore
Popular Book Projects
Free Programming Books ⭐ 319,107
:books: Freely available programming books
total releases 1latest release March 18, 2022most recent commit a month ago
Popular Datastore Projects
Nedb ⭐ 12,868
The JavaScript Database, for Node.js, nw.js, electron and the browser
dependent packages 1,062total releases 98latest release February 15, 2016most recent commit 3 years agonpm nedb} Downloads
Riak ⭐ 3,836
Riak is a decentralized datastore from Basho Technologies.
total releases 1latest release February 27, 2018most recent commit 9 months ago
Liveblocks ⭐ 2,755
Liveblocks is a real-time collaboration infrastructure for developers.
dependent packages 12total releases 253latest release December 08, 2023most recent commit 4 months agonpm @liveblocks/client} Downloads
Popular Learning Resources Categories
Tutorials
Paper
Book
Programming
Course
Article
Education
Hack
University
Cookbook

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Book
Datastore
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.