Managed Projects
Fudgets
Analyzed about 11 hours ago
Fudgets is primarily a Graphical User Interface Toolkit for the functional programming language Haskell and the X Windows system.
Fudgets also makes it easy to create client/server applications that communicate via the Internet.
Licenses:
No declared licenses
Alfa
A
Analyzed about 6 hours ago
Alfa is a successor of the proof editor ALF, i.e., an editor for direct manipulation of proof objects in a logical framework based on Per Martin-Löf's Type Theory. It allows you to, interactively and incrementally, define theories (axioms and inference rules), formulate theorems and construct proofs
Licenses:
No declared licenses
Webcon Webshop
W
No analysis available
Webbutik och webbaserad orderhantering mm i Haskell
Mostly written in language not available
Licenses:
No declared licenses
MCL (Modem Control Language)
M
No analysis available
Mostly written in language not available
Licenses:
No declared licenses