Thomas Hallgren : Projects

Fudgets

Analyzed 8 months 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.

2.38K lines of code

1 current contributors

12 months since last commit

1 users on Open Hub

Activity Not Available

0 Reviews

I Use This

Mostly written in shell script

Licenses: No declared licenses

Alfa

I Use This

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 ... [More]

10K lines of code

1 current contributors

2 months since last commit

0 users on Open Hub

Very Low Activity

0 Reviews

I Use This