Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Fuml

Stars
10
License
mit
Open Issues
0
Most Recent Commit
2 years ago
Categories
Repo
Alternatives To Fuml
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Plt5,018
9 months agoCSS
Programming Language Theory λΠ
Kind3,420npm kind-lang} Downloads26 months ago105February 15, 202353mitRust
A next-gen functional language
Write You A Haskell2,744
5 years ago21mitHaskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Typefunc182
3 years ago
Resources for type theory, functional programming, etc.
Type Theory Compiler38
5 years agoHaskell
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
Typonomikon11
5 months agoCoq
Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.
Fuml10
2 years agomit
Functional Minimal Language
Programming Language Research10
a year agomit
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
L1ir8cargo l1_ir} Downloads2a year ago52March 05, 20235mitRust
Intermediate Representation of LSTS L1 Language
Grammar Experimentation8
4 years ago3Raku
An experimental programming language containing a higher-order type system
Alternatives To Fuml
Select To Compare
Plt ⭐ 5,018
Programming Language Theory λΠ
most recent commit 9 months ago
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105most recent commit 6 months agonpm kind-lang} Downloads
Fuml ⭐ 10
Functional Minimal Language
most recent commit 2 years ago
L1ir ⭐ 8
Intermediate Representation of LSTS L1 Language
dependent packages 2total releases 52most recent commit a year agocargo l1_ir} Downloads


Suggest An Alternative To fuml
Alternative Project Comparisons
Fuml vs Plt
Fuml vs Kind
Fuml vs Write You A Haskell
Fuml vs Typefunc
Fuml vs Type Theory Compiler
Fuml vs Typonomikon
Fuml vs Programming Language Research
Fuml vs L1ir
Fuml vs Grammar Experimentation
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,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 3 months ago
Popular Type Theory Projects
Popular Software Development Categories
Continuous Integration
Functional Programming
Developer Tools
Generation
Jenkins
Continuous Deployment
Travis
Reverse Engineering
Changelog
Ci Cd

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