Popular repositories Loading

1. ductilej ductilej Public

   A Java compiler plugin that turns Java into a mostly dynamically typed language

   Java 10 1

2. plume-lib plume-lib Public

   A library of useful abstractions for programming. Obsolete, use https://github.com/plume-lib/ instead.

   Java 9 23

3. bibtex2web bibtex2web Public

   Format BibTeX bibliographies for the World Wide Web

   Perl 6 3

4. uwisdom uwisdom Public

   A collection of useful facts

   5

5. smt-solving-exercise smt-solving-exercise Public

   An exercise to learn about SMT solving

   SMT 4

6. plume-bib plume-bib Public

   BibTeX bibliographies

   TeX 3 10