-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedJun 8, 2026 -
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedMay 11, 2026 -
-
Lean4Less Public
Forked from Deducteam/Lean4LessA translation framework for eliminating definitional equalities in Lean
Lean UpdatedFeb 3, 2026 -
lean4lean Public
Forked from rish987/lean4leanLean 4 kernel / 'external checker' written in Lean 4
Lean UpdatedJan 26, 2026 -
ladybird Public
Forked from LadybirdBrowser/ladybirdTruly independent web browser
C++ BSD 2-Clause "Simplified" License UpdatedJan 25, 2026 -
-
-
OrderedSemigroups Public
Formalization of Holder's Theorem for Ordered Semigroups and Groups
-
IntroEffects Public
A implementation of the language in "An Introduction to Algebraic Effects and Handlers" by Pretnar
Lean UpdatedJul 31, 2025 -
analysis Public
Forked from teorth/analysisA Lean companion to Analysis I
Lean Apache License 2.0 UpdatedJun 2, 2025 -
leanprover-community.github.io Public
Forked from leanprover-community/leanprover-community.github.ioHosts the website for mathlib and other Lean community infrastructure.
CSS MIT License UpdatedFeb 19, 2025 -
-
doctest Public
Forked from doctest/doctestThe fastest feature-rich C++11/14/17/20 single-header testing framework
C++ MIT License UpdatedDec 17, 2022 -
-
mathlib Public
Forked from leanprover-community/mathlib3Lean mathematical components library
Lean Apache License 2.0 UpdatedJul 4, 2022 -
thank-you-react Public
Forked from randomlylelo/thank-you-reactJavaScript MIT License UpdatedMar 31, 2021 -
-
lojban.io Public
Forked from jqueiroz/lojban.ioA free and opensource platform for studying the artificial language Lojban.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJan 24, 2021 -
PitchClassSetBot Public
Discord bot that calculates the best normal order for a pitch class set.
JavaScript UpdatedOct 31, 2020 -
oni2 Public
Forked from onivim/oni2Native, lightweight modal code editor
Reason UpdatedAug 10, 2020 -
HyperPath Public
A google chrome extension that makes certain links in Pathable hyperlinks.
JavaScript UpdatedJul 7, 2020 -
revery Public
Forked from revery-ui/revery⚡ Native, high-performance, cross-platform desktop apps - built with Reason!
Reason MIT License UpdatedJul 5, 2020 -
-
rutils Public
Forked from vseloved/rutilsRadical Utilities for Common Lisp
Common Lisp Other UpdatedJun 13, 2020 -
-
reasonml.github.io Public
Forked from reasonml/reasonml.github.ioReason's documentation site
JavaScript MIT License UpdatedJun 4, 2020 -
AI-Sequencium Public
Multiple AIs for Sequencium using reinforcement learning.
Python UpdatedMay 31, 2020 -
Sequencium Public
The board game Sequencium with local and online multiplayer.
{{ message }}