-
nanoproof Public
Minimal open-source implementation of AlphaProof [WIP]
-
leantree Public
Structured data extraction and programmatic interaction with Lean 4.
-
lean-repl Public
Forked from leanprover-community/replA simple REPL for Lean 4, returning information about errors and sorries.
Lean UpdatedDec 17, 2025 -
nanochat Public
Forked from karpathy/nanochatThe best ChatGPT that $100 can buy.
Python MIT License UpdatedDec 9, 2025 -
TinyRecursiveModels Public
Forked from SamsungSAILMontreal/TinyRecursiveModels -
gym-cellular Public
Gym-based RL environments with dynamics driven by cellular automata.
-
lean-worlds Public
Combining symbolic model-based RL and formal mathematics language Lean.
-
-
-
-
PyPantograph Public
Forked from stanford-centaur/PyPantographA Machine-to-Machine Interaction System for Lean 4.
Python Apache License 2.0 UpdatedFeb 10, 2025 -
Pantograph Public
Forked from leanprover/Pantograph(Mirror) A Machine-to-Machine Interaction System for Lean 4
Lean Apache License 2.0 UpdatedFeb 10, 2025 -
LeanDojo Public
Forked from lean-dojo/LeanDojoTool for data extraction and interacting with Lean programmatically.
Python MIT License UpdatedJan 22, 2025 -
Evariste Public
Forked from facebookresearch/EvaristeHyperTree Proof Search for Neural Theorem Proving -- "La science est l'œuvre de l'esprit humain, qui est plutôt destiné à étudier qu'à connaître, à chercher qu'à trouver la vérité."
Python Other UpdatedOct 7, 2024 -
pytorch Public
Forked from pytorch/pytorchTensors and Dynamic neural networks in Python with strong GPU acceleration
Python Other UpdatedApr 9, 2024 -
SummEval Public
Forked from Yale-LILY/SummEvalResources for the "SummEval: Re-evaluating Summarization Evaluation" paper
Python MIT License UpdatedMar 27, 2024 -
RL4LMs Public
Forked from allenai/RL4LMsA modular RL library to fine-tune language models to human preferences
Python Apache License 2.0 UpdatedFeb 29, 2024 -
textGenGen Public
MPS plugin for generating textGen definitions derived from editor definitions, so that the text generated by textGen is the same as the one rendered on the screen by the editor
-
transformers Public
Forked from huggingface/transformers🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
Python Apache License 2.0 UpdatedJun 19, 2023 -
-
slama.dev Public
Forked from xiaoxiae/slama.devThe source code to my personal website.
Python MIT License UpdatedJun 13, 2021 -
-
-
mathemagician Public
A Flutter app for all people who love mental math.
-
pong Public
Tiny app for exploring genetic algorithms with the help of Processing in the context of Pong.
Processing UpdatedApr 29, 2018 -
-
MorseChat Public
Allows one-to-one communication over the internet using two shared binary states (intended for but not limited to the morse code)
Dart UpdatedFeb 5, 2018 -
-
Kasiopea Public
Solutions to all problems of the Kasiopea competition 2017/2018
Python UpdatedJan 15, 2018 -
WebChecker Public
Forked from macajind/WebCheckerLibrary for Java, which let you manipulate with web pages from outside.
Java MIT License UpdatedMar 27, 2015
{{ message }}