Popular repositories Loading

1. fortl fortl Public

   A research language for scientific computation with a focus on making domain concepts first-class

   Haskell 4

2. plas4sci.github.io plas4sci.github.io Public

   website

   SCSS

3. veryfi-lambda veryfi-lambda Public

   An Ott-described, Coq-verified, OCaml-extracted lambda-calculus interpreter

   Rocq Prover