-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedAug 3, 2026 -
docker Public
Forked from wger-project/dockerDocker compose stack for wger deployment
Python GNU Affero General Public License v3.0 UpdatedJul 26, 2026 -
hister Public
Forked from asciimoo/histerYour own search engine
Go GNU Affero General Public License v3.0 UpdatedJun 14, 2026 -
cozo Public
Forked from cozodb/cozoA transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
Rust Mozilla Public License 2.0 UpdatedApr 28, 2026 -
plausible Public
Forked from leanprover-community/plausibleLean Apache License 2.0 UpdatedApr 24, 2026 -
logical_verification_2024 Public
My solution to Jasmin Blanchette's Hitchiker's Guide to Logical Verification
Lean UpdatedSep 13, 2025 -
-
searxng Public
Forked from searxng/searxngSearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.
Python GNU Affero General Public License v3.0 UpdatedJul 18, 2025 -
mathematics_in_lean Public
Forked from leanprover-community/mathematics_in_leanThe user home repository for the Mathematics in Lean tutorial.
HTML UpdatedJul 9, 2025 -
gnucash-web Public
Forked from joshuabach/gnucash-webA simple, mobile-friendly webinterface for GnuCash
Python GNU General Public License v3.0 UpdatedMay 16, 2024 -
parsimonious Public
Forked from erikrose/parsimoniousThe fastest pure-Python PEG parser I can muster
Python MIT License UpdatedJan 16, 2024 -
nitter Public
Forked from zedeus/nitterAlternative Twitter front-end
Nim GNU Affero General Public License v3.0 UpdatedOct 29, 2023 -
-
ipscan Public
Forked from angryip/ipscanAngry IP Scanner - fast and friendly network scanner
Java GNU General Public License v2.0 UpdatedJan 1, 2023 -
-
ta-anti-maling Public
Mencegah penyakit masyarakat indonesia melalui TA elektro ITB
Kotlin UpdatedNov 24, 2020
{{ message }}