Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
Lean 3 Theorem Prover (community fork)
-
Mapping ebInterface 4.x, 5.x and 6.x from and to UBL 2.1
-
An HTML to PDF library for the JVM. Based on Flying Saucer and Apache PDF-BOX 2. With SVG image support. Now also with accessible PDF support (WCAG, Section 508, PDF/UA)!
-
Content of the book "Haskell Programming from first principles" written in Frege
-
User interface and public API for probing Syzygy endgame tablebases
-
An effort to port the Haskell library conduit to Frege.
-
Frege language support for Atom
-
Haskell API search engine
-
Tools & Libraries for the Advancement of Sciences (v5.0 - early 2018)
-
The repo has been migrated to Bitbucket https://bitbucket.org/dtnse/weather-api/src/ and archived