Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Oxid Light

Prototype functional programming language with refinement types, powered by Inox
Alternatives To Oxid Light
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Scallina73
2 years ago1gpl-3.0Scala
A Coq-based synthesis of Scala programs which are correct-by-construction
Smbc21
2 years ago2bsd-2-clauseOCaml
Experimental model finder/SMT solver for functional programming.
Programming Language Research10
a year agomit
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
Oxid Light6
6 years agootherScala
Prototype functional programming language with refinement types, powered by Inox
Alternatives To Oxid Light
Select To Compare


Suggest An Alternative To oxid-light
Alternative Project Comparisons
Oxid Light vs Scallina
Oxid Light vs Smbc
Oxid Light vs Programming Language Research
Popular Functional Programming Projects
Rxswift ⭐ 24,043
Reactive Programming in Swift
total releases 78latest release September 20, 2023most recent commit 4 months ago
Mostly Adequate Guide ⭐ 23,185
Mostly adequate guide to FP (in javascript)
dependent packages 2total releases 6latest release June 26, 2019most recent commit 5 months agonpm @mostly-adequate/support} Downloads
Bubbletea ⭐ 22,076
A powerful little TUI framework 🏗
dependent packages 1,027total releases 136latest release June 05, 2023most recent commit 4 months ago
Popular Formal Methods Projects
Sled ⭐ 7,522
the champagne of beta embedded databases
dependent packages 292total releases 100latest release September 11, 2023most recent commit 4 months agocargo sled} Downloads
P ⭐ 2,845
The P programming language.
dependent packages 1total releases 3latest release April 04, 2023most recent commit 4 months agonuget PCheckerCore} Downloads
Hacl Star ⭐ 1,575
HACL*, a formally verified cryptographic library written in F*
dependent packages 2total releases 11latest release June 15, 2023most recent commit 2 months agonpm hacl-wasm} Downloads
Popular Software Development Categories
Continuous Integration
Functional Programming
Developer Tools
Generation
Jenkins
Continuous Deployment
Travis
Reverse Engineering
Changelog
Ci Cd
Related Searches
Scala Functional Programming
Types Scala
Language Functional Programming
Types Language
Types Functional Programming
Language Scala
Types Programming Language
Scala Programming Language
Scala Refinement Types
Scala Formal Methods

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Language
Scala
Functional Programming
Programming Language
Formal Methods
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.