-
scasp-clj Public
Clojure port of the s(CASP) (Goal directed Constraint Answer Set Programming) system
Clojure UpdatedJun 13, 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
-
-
-
omnivore Public
Forked from omnivore-app/omnivoreOmnivore is a complete, open source read-it-later solution for people who like reading.
TypeScript GNU Affero General Public License v3.0 UpdatedNov 2, 2024 -
-
obsidian-omnivore Public
Forked from omnivore-app/obsidian-omnivoreObsidian plugin to fetch articles and highlights from Omnivore
TypeScript MIT License UpdatedSep 1, 2024 -
-
-
obsidian-grapher Public
Parse any unstructured text or file into a knowledge graph with Prolog and LLMs
TypeScript UpdatedAug 18, 2024
{{ message }}