-
aeon Public
Aeon programming language
-
phd-applications Public
Forked from bodzioney/phd-applicationsPL Professors List
UpdatedApr 15, 2026 -
-
-
GeneticEngine Public
Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
-
-
z3-pyodide Public
Z3 theorem prover for Pyodide/browser — pure Python, z3-py compatible API via SMT-LIB2
Python UpdatedMar 19, 2026 -
-
smallweb Public
Forked from kagisearch/smallwebKagi Small Web
JavaScript MIT License UpdatedJan 22, 2026 -
-
pygls Public
Forked from openlawlibrary/pyglsA pythonic generic language server
Python Apache License 2.0 UpdatedOct 29, 2025 -
AeminiumRuntime Public
Forked from AEminium/AeminiumRuntimeA Java Runtime Library that executes DAGs of Tasks using a work-stealing approach for the Æminium Language.
Java GNU General Public License v3.0 UpdatedOct 15, 2025 -
-
-
Repo to store there continuous benchmark results from GeneticEngine
UpdatedJul 1, 2025 -
-
docker_example_mycompiler Public
A simple docker example of how to containerize your simple compiler written in Python
Python UpdatedMar 28, 2025 -
-
program-synthesis-benchmarks Public
Forked from erp12/program-synthesis-benchmarksA Python library for downloading and reading the datasets from the Program Synthesis Benchmark Suite (v1 & v2)
Python MIT License UpdatedNov 6, 2024 -
stl-inference-gp Public
Forked from pcanelas/stl-inference-gpSignal Temporal Logic Inference with GP
Python UpdatedOct 28, 2024 -
srbench Public
Forked from cavalab/srbenchA living benchmark framework for symbolic regression
Python GNU General Public License v3.0 UpdatedOct 14, 2024 -
-
-
-
-
MyLangVSCodeExtension Public
A VSCode extension using LSP for a minimal example PL implemented in Python
Python MIT License UpdatedJul 11, 2023 -
CatarinaGamboa.github.io Public
Forked from CatarinaGamboa/CatarinaGamboa.github.ioCSS Other UpdatedJun 28, 2023 -
-
verification_demo Public
Forked from avigad/verification_demoA temporary repository
Lean Apache License 2.0 UpdatedMar 6, 2023 -
pre-commit-maven Public
Forked from ejba/pre-commit-mavenmaven hooks for pre-commit.
Python MIT License UpdatedFeb 23, 2023
{{ message }}