Stars
GIMP AI plugins with OpenVINO Backend
Overview of tactics in Lean 4 for beginners — longer version
LLMs as Copilots for Theorem Proving in Lean
Helper toolkit for creating your own Lean 4 UserWidgets
Optimizing backend toolkit and modern ECMAScript backend for PureScript
Axioms and Propositions for Primitives in Idris2
Experimental JS bindings for idris2-rhone
The cuteness implementation of a dependently typed language.
Embedded specification language & model checker in Haskell
debauchee / barrier
Forked from deskflow/deskflowOpen-source KVM software
A collection of resources for learning type theory and type theory adjacent fields.
A List of Foundational Haskell Papers
Community curated list of companies that use Purescript
Build terminal user interfaces and dashboards using Rust
A parser for PureScript's corefn JSON representation.