-
-
lazylist Public
a semi-verified lazylist implementation with Haskellesque comprehension macros.
Lean MIT License UpdatedDec 14, 2025 -
formal-conjectures Public
Forked from google-deepmind/formal-conjecturesA collection of formalized statements of conjectures in Lean.
Lean Apache License 2.0 UpdatedNov 28, 2025 -
lean4-unicode-basic Public
Forked from fgdorais/lean4-unicode-basicBasic Unicode support for Lean 4
C Apache License 2.0 UpdatedNov 7, 2025 -
nextjs-notion-starter-kit Public
Forked from transitive-bullshit/nextjs-notion-starter-kitDeploy your own Notion-powered website in minutes with Next.js and Vercel.
TypeScript MIT License UpdatedOct 10, 2025 -
-
mathematics_in_lean Public
Forked from leanprover-community/mathematics_in_leanThe user home repository for the Mathematics in Lean tutorial.
HTML UpdatedJun 17, 2025 -
hydra Public
Forked from dmilin1/hydraA Reddit reader app based on Apollo that doesn't need an API key to function
TypeScript GNU Affero General Public License v3.0 UpdatedJun 2, 2025 -
-
-
panda-vim Public
Forked from markvincze/panda-vimPanda syntax colors for vim
Vim Script MIT License UpdatedFeb 26, 2025 -
claripy Public
Forked from angr/claripyAn abstraction layer for constraint solvers.
SMT BSD 2-Clause "Simplified" License UpdatedDec 23, 2024 -
-
-
-
effects-bibliography Public
Forked from yallop/effects-bibliographyA collaborative bibliography of work related to the theory and practice of computational effects
UpdatedOct 30, 2024 -
cl-welearn Public
(cons we (cons love (cons english nil)
-
-
MoonBit-Code-JAM-2024 Public
Forked from moonbitlang/MoonBit-Code-JAM-2024JavaScript UpdatedAug 29, 2024 -
-
moonbit-docs Public
Forked from moonbitlang/moonbit-docsThe docs of MoonBit programming language
TypeScript Other UpdatedAug 27, 2024 -
ide-examples Public
Forked from moonbit-community/ide-examplesJavaScript Apache License 2.0 UpdatedAug 19, 2024 -
moonbit-markdown Public
Forked from moonbitlang/moonbit-markdownmarkdown linter for MoonBit
JavaScript Apache License 2.0 UpdatedAug 19, 2024 -
core Public
Forked from moonbitlang/coreMoonBit's Core library
Shell Apache License 2.0 UpdatedAug 15, 2024 -
moon Public
Forked from moonbitlang/moonThe build system and package manager for MoonBit
Rust GNU Affero General Public License v3.0 UpdatedAug 8, 2024 -
-
tldr.inbrowser.app Public
Forked from InBrowserApp/tldr.inbrowser.app📝 tldr InBrowser.App is a offline-capable PWA for tldr-pages. Fully runs in your browser. Zero API latency.
Vue MIT License UpdatedJun 19, 2024 -
codeSpeedUp Public
Forked from lr580/codeSpeedUp码上速成，一款基于 Vue3+Python FastAPI 的编写代码的打字游戏。
Vue UpdatedJun 5, 2024 -
-
{{ message }}