Pinned Loading

1. lumens lumens Public

   Scala 3 wrapper around Apache Lucene

   Scala 4

2. rocqducers rocqducers Public

   Proven React Reducers using Rocq and Melange

   Rocq Prover

3. boulodrome boulodrome Public

   Let your LLM play pétanque and build interractive rocq proofs !

   OCaml 6

4. encore encore Public

   Rust 2

5. unslop unslop Public

   ASD-STE100 mechanical prose linter

   Prolog 2

6. manifold manifold Public

   Neurosymbolic conversational agent

   Elixir 1