Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Tapl Scala

Code from the book "Types and Programming Languages" in Scala
Stars
161
License
No license specified
Open Issues
7
Most Recent Commit
3 years ago
Programming Language
Scala
Categories
Repo
Alternatives To Tapl Scala
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Write You A Haskell2,744
5 years ago21mitHaskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Tapl Scala161
3 years ago7Scala
Code from the book "Types and Programming Languages" in Scala
Alternatives To Tapl Scala
Select To Compare


Suggest An Alternative To tapl-scala
Alternative Project Comparisons
Tapl Scala vs Write You A Haskell
Popular Book Projects
Free Programming Books ⭐ 319,107
:books: Freely available programming books
total releases 1latest release March 18, 2022most recent commit 10 days ago
Popular Type Checking Projects
Closure Compiler ⭐ 7,175
A JavaScript checker and optimizer.
dependent packages 180total releases 135latest release November 13, 2023most recent commit 3 months ago
Ts Toolbelt ⭐ 6,011
👷 TypeScript's largest type utility library
dependent packages 973total releases 928latest release March 10, 2021most recent commit a year agonpm ts-toolbelt} Downloads
Ow ⭐ 3,740
Function argument validation for humans
dependent packages 457total releases 44latest release January 26, 2023most recent commit 10 months agonpm ow} Downloads
Thinc ⭐ 2,774
🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
dependent packages 67total releases 229latest release September 22, 2023most recent commit 3 months agopypi thinc} Downloads
Agda ⭐ 2,281
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40latest release November 30, 2023most recent commit 3 months ago
Popular Learning Resources Categories
Tutorials
Paper
Book
Programming
Course
Article
Education
Hack
Cookbook
University
Related Searches
Scala Book
Scala Programming Language
Book Programming Language
Ocaml Programming Language
Book Ocaml
Programming Language Type Inference
Scala Ocaml
Ocaml Type Inference
Scala Type Inference
Ocaml Type Checking

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Scala
Book
Ocaml
Programming Language
Type Checking
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.