jeroennoels

jeroennoels's Stars

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10k1805.4k1.5k

• idris-lang/Idris-dev

  A Dependently Typed Functional Programming Language

  Language:Haskell3.4k1202.3k642

• zetzit/zz

  🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

  Language:Rust1.6k406952

• mrakgr/The-Spiral-Language

  Functional language with intensional polymorphism and first-class staging.

  Language:Python915351527

• agentm/project-m36

  Project: M36 Relational Algebra Engine

  Language:Haskell8763327647

• idris-hackers/idris-mode

  Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

  Language:Emacs Lisp2662723370

• UniMath/agda-unimath

  The agda-unimath library

  Language:Agda2111113967

• dmbarbour/wikilon

  A wiki and web-services based development environment for Awelon project

  Language:F#911234

• haskell-checkers/checkers

  Check properties on standard classes and data structures

  Language:Haskell7972213

• david-pfx/Andl

  Andl is A New Database Language

  Language:C#75614

• semack/zx_tape_player

  Just another tape player has been written in Flutter for iOS and Android. The application is able to find tapes and theirs images using https://zxInfo.dk public API and upload them to ZX-Spectrum compatible computers by the audio output of the smartphone. Now it supports TAP and TZX tape images only.

  Language:Dart5171916

• tuzz/supersat

  An attempt to find superpermutations by reducing the problem to SAT.

  Language:Rust520

• Risto-Stevcev/idris-functors

  Bifunctors and functor products, coproducts, and composition

  Language:Idris331

• mikeshulman/cubicaltt

  Experimental implementation of Cubical Type Theory

  Language:Haskell2400