saviorand
Follow
-
-
lean4-android Public
Cross-compiling the Lean 4 runtime for Android (aarch64-linux-android) with the NDK
-
lean-android-compose Public
A Jetpack Compose app whose computation runs in Lean 4
-
lean-compose Public
A typed DSL for authoring Compose UI in Lean 4, after lean-html
-
lean-todomvc-max Public
Forked from paulbutcher/lean-todomvc-maxComplete production webapp in Lean
Lean Apache License 2.0 UpdatedAug 23, 2026 -
clojure-cc Public
Forked from clojurestar/clojure-ccWebsite for Clojure Dialects
HTML UpdatedAug 11, 2026 -
scasp-clj Public
Clojure port of the s(CASP) (Goal directed Constraint Answer Set Programming) system
Clojure UpdatedAug 1, 2026 -
infer Public
Forked from facebook/inferA static analyzer for Java, C, C++, and Objective-C
OCaml MIT License UpdatedJun 30, 2026 -
-
Glean Public
Forked from facebookincubator/GleanSystem for collecting, deriving and working with facts about source code.
Hack Other UpdatedMay 12, 2026 -
hsthrift Public
Forked from facebookincubator/hsthriftThe Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift project for the implementation of the underlying transport.
Haskell Other UpdatedMay 12, 2026 -
archscout Public
Forked from saintedlama/archscoutKeep architecture visible and enforceable
Go MIT License UpdatedApr 29, 2026 -
rocqman Public
Forked from joom/rocqmanA Pacman implementation in Rocq, extracted to Go via Crane.
Rocq Prover UpdatedApr 20, 2026 -
crane Public
Forked from bloomberg/craneA new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
C++ GNU Lesser General Public License v2.1 UpdatedApr 20, 2026 -
modular-community Public
Forked from modular/modular-communityA repo to hold community-submitted rattler-build recipes, to make community packages available via the modular-community prefix.dev channel
Mojo UpdatedMar 30, 2026 -
small-time Public
Forked from thatstoasty/small-timeDatetime library forked from morrow.mojo for my projects
Mojo Apache License 2.0 UpdatedFeb 27, 2026 -
-
-
modular Public
Forked from modular/modularThe Modular Platform (includes MAX & Mojo)
Mojo Other UpdatedJan 12, 2026 -
lemonade-stand_ru Public
Russian translation of A Handy Guide to Financial Support for Open Source
-
pedagogical-vscode Public
Forked from alt-cs-lab/pedagogical-vscodeCSS MIT License UpdatedDec 10, 2025 -
asdf-mint-oapi-codegen Public
Generate Mint types and client code from an OpenAPI specification
Shell MIT License UpdatedNov 25, 2025 -
-
mint-oapi-codegen Public
Forked from oapi-codegen/oapi-codegenGenerate Mint client boilerplate from OpenAPI 3 specifications
Go Apache License 2.0 UpdatedOct 18, 2025 -
-
-
-
-
awesome-ai-assisted-coding Public
A curated list of AI-Assisted Coding tools, frameworks, methodologies and learning resources
-