Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Scala Escape

A compiler plug-in to control object lifetimes in Scala
Stars
59
License
bsd-3-clause
Open Issues
0
Most Recent Commit
7 years ago
Programming Language
Coq
Categories
Repo
Alternatives To Scala Escape
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Scala Escape59
7 years agobsd-3-clauseCoq
A compiler plug-in to control object lifetimes in Scala
Intensional Computation13
5 years agogpl-3.0Coq
translations of a lambda abstraction to combinations of operators
Real Closed12
8 months ago6Coq
Theorems for Real Closed Fields
Alternatives To Scala Escape
Select To Compare


Suggest An Alternative To scala-escape
Alternative Project Comparisons
Scala Escape vs Intensional Computation
Scala Escape vs Real Closed
Popular Closure Projects
Reachability.swift ⭐ 7,845
Replacement for Apple's Reachability re-written in Swift with closures
total releases 17latest release October 28, 2021most recent commit 3 months ago
Closure Compiler ⭐ 7,175
A JavaScript checker and optimizer.
dependent packages 180total releases 135latest release November 13, 2023most recent commit 3 months ago
Popular Coq Projects
Popular User Interface Categories
Theme
Flutter
Animation
Redux
Bindings
Gui
Material
Visualization
Layout
Qt

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Scala
Closure
Coq
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.