Popular repositories Loading

1. groovyck groovyck Public

   Forked from sergutsan/groovyck

   TeX

2. kittel-koat kittel-koat Public

   Forked from s-falke/kittel-koat

   KITTeL/KoAT

   OCaml

3. star-exec-presenter star-exec-presenter Public

   Forked from jwaldmann/star-exec-presenter

   presentation platform for star-exec written in Haskell and based upon Yesod

   Haskell

4. grav-plugin-blackhole grav-plugin-blackhole Public

   Forked from barryanders/grav-plugin-blackhole

   The static site generator for Grav CMS

   PHP

5. aprove-open-source aprove-open-source Public

   Forked from aprove-developers/aprove-open-source

   AProVE is a powerful system for automated termination, complexity, and safety proofs of several variations of term rewrite systems, as well as other formalisms including imperative, functional, and…

   Java