-
-
CP-next Public
Forked from yzyzsun/CP-nextThe Next Generation of Compositional Programming
PureScript Other UpdatedNov 24, 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 -
Papers and e-books about quantum programming
-
opencv_contrib Public
Forked from opencv/opencv_contribRepository for OpenCV's extra modules
C++ Apache License 2.0 UpdatedApr 28, 2023 -
mirai-openai-gpt-chatbot Public
A mirai chatbot plugin based on OpenAI GPT-3 API
-
algorithms-cpp Public
Forked from TheAlgorithms/C-Plus-PlusCollection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.
C++ MIT License UpdatedApr 15, 2023 -
custom-explosion Public
A Minecraft mod allows you to modify explosion behaviours by gamerules
-
ipython Public
Forked from ipython/ipythonOfficial repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.
Python BSD 3-Clause "New" or "Revised" License UpdatedApr 4, 2023 -
QuEST Public
Forked from QuEST-Kit/QuESTA multithreaded, distributed, GPU-accelerated simulator of quantum computers
C++ MIT License UpdatedApr 3, 2023 -
algorithms-zig Public
Forked from TheAlgorithms/ZigAll Algorithms implemented in Zig
Zig MIT License UpdatedMar 22, 2023
{{ message }}