-
-
cubicaltt-scala Public
Cubical Type Theory in Scala 3 — port of Mortberg's cubicaltt
-
ComplementaryReimagined Public
Forked from ComplementaryDevelopment/ComplementaryReimaginedComplementary is a graphical rework pack for Minecraft with exceptional quality, detail, and performance.
GLSL Other UpdatedMar 30, 2026 -
memgap Public
Biologically-inspired associative memory system for AI agents with exponential decay dynamics.
Rust MIT License UpdatedMar 28, 2026 -
lean4-mcp Public
A lightweight MCP (Model Context Protocol) server that proxies between AI agents and the Lean 4 language server.
-
-
-
LeanCopilot Public
Forked from lean-dojo/LeanCopilotLLMs as Copilots for Theorem Proving in Lean
C++ MIT License UpdatedDec 18, 2025 -
CP-next Public
Forked from yzyzsun/CP-nextThe Next Generation of Compositional Programming
PureScript Other UpdatedNov 24, 2025 -
copilot-api Public
Forked from ericc-ch/copilot-apiTurn GitHub Copilot into OpenAI/Anthropic API compatible server. Usable with Claude Code!
TypeScript MIT License UpdatedNov 10, 2025 -
lean4ij Public
Forked from onriv/lean4ijA Lean4 plugin for the Intellij Platform
Kotlin Apache License 2.0 UpdatedNov 6, 2025 -
-
-
saki-dev Public
Forked from saki-lang/saki-devA simple scala-like dependent type programming language
Scala MIT License UpdatedOct 24, 2024 -
ScalaZ3 Public
Forked from epfl-lara/ScalaZ3DSL in Scala for Constraint Solving with Z3 SMT Solver
Scala Apache License 2.0 UpdatedSep 5, 2024 -
-
grammars-v4 Public
Forked from antlr/grammars-v4Grammars written for ANTLR v4; expectation that the grammars are free of actions.
ANTLR MIT License UpdatedMay 25, 2024 -
-
minecraft-chatgpt-assistant Public
A ChatGPT assistant mod for Minecraft
-
-
stable-diffusion-webui Public
Forked from AUTOMATIC1111/stable-diffusion-webuiStable Diffusion web UI
Python GNU Affero General Public License v3.0 UpdatedDec 23, 2023 -
langchain4j Public
Forked from langchain4j/langchain4jJava version of LangChain
Java Apache License 2.0 UpdatedDec 1, 2023 -
-
blockbench Public
Forked from JannisX11/blockbenchBlockbench - A low poly 3D model editor
JavaScript GNU General Public License v3.0 UpdatedNov 10, 2023 -
gitignore Public
Forked from github/gitignoreA collection of useful .gitignore templates
Creative Commons Zero v1.0 Universal UpdatedOct 26, 2023 -
-
QuantumShannonDecomposition Public
Python implementation of Quantum Shannon Decomposition algorithm
Python UpdatedAug 11, 2023 -
mqt-qcec Public
Forked from munich-quantum-toolkit/qcecMQT QCEC - A tool for Quantum Circuit Equivalence Checking
C++ MIT License UpdatedAug 9, 2023 -
DimensionalThreading Public
Forked from MCTown/DimensionalThreadingAn attempt to optimize the fabric server, by assigning each dimension their own thread.
Java MIT License UpdatedJul 18, 2023 -
antibat Public
A Minecraft mod to disable annoying and useless bats from naturally spawning
Java MIT License UpdatedJun 9, 2023
{{ message }}