Gaspi

Gaspi's Stars

• kach/nearley

  📜🔜🌲 Simple, fast, powerful parser toolkit for JavaScript.

  Language:JavaScript3.6k45454233

• Revolutionary-Games/Thrive

  The main repository for the development of the evolution game Thrive.

  Language:C#2.9k882.8k510

• no-context/moo

  Optimised tokenizer/lexer generator! 🐄 Uses /y for performance. Moo.

  Language:JavaScript835129967

• Deducteam/lambdapi

  Proof assistant based on the λΠ-calculus modulo rewriting

  Language:OCaml2861454335

• Deducteam/Dedukti

  Implementation of the λΠ-calculus modulo rewriting

  Language:OCaml2001714022

• GeoCoq/GeoCoq

  A formalization of geometry in Coq based on Tarski's axiom system

  Language:Coq187161426

• igloo-project/igloo-parent

  Our core toolbox based on Spring, Hibernate, Wicket and Bootstrap.

  Language:Java189305

• ARCEP-dev/historiquePannes

  Language:Python15334

• Deducteam/CoqInE

  A Coq plugin to translate Coq proofs into Dedukti terms.

  Language:OCaml74104

• Deducteam/Libraries

  A collection of hand-written files for Dedukti

  Language:Makefile4522

• netixx/NetProbes

  Probes

  Language:Python4501

• ARCEP-dev/ARCEP-dev.github.io

  Language:HTML20