Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Programming Language Research

Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
Alternatives To Programming Language Research
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 Programming Language Research
Select To Compare


Suggest An Alternative To programming-language-research
Alternative Project Comparisons
Programming Language Research vs Scallina
Programming Language Research vs Smbc
Programming Language Research vs Oxid Light
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 a month agonpm hacl-wasm} Downloads
Popular Functional Programming Projects
Rxswift ⭐ 24,043
Reactive Programming in Swift
total releases 78latest release September 20, 2023most recent commit 3 months ago
Mostly Adequate Guide ⭐ 23,142
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 3 months ago
Popular Software Development Categories
Continuous Integration
Functional Programming
Developer Tools
Generation
Jenkins
Continuous Deployment
Travis
Reverse Engineering
Changelog
Ci Cd
Related Searches
Programming Language Type Theory
Functional Programming Type Theory
Functional Programming Formal Methods
Programming Language Formal Methods

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