-
-
-
tree-sitter-julia Public
Forked from tree-sitter/tree-sitter-juliaJulia grammar for tree-sitter
JavaScript MIT License UpdatedDec 25, 2025 -
JuliaSyntax.jl Public
Forked from JuliaLang/JuliaSyntax.jlThe Julia compiler frontend
Julia Other UpdatedNov 25, 2025 -
TinyLean Public
Tiny theorem prover with syntax like Lean 4 in <1K LOC
-
-
-
lyzh Public
A well-documented minimal dependently-typed language for my friend Lyzh
-
lua-v5.1.5 Public
Personal attempt to make Lua (v5.1.5) more readable for educational purposes
-
-
-
-
-
guest0x0 Public
Forked from ice1000/guest0x0Neon lights in the night tonight and stars that shine in the open sky
Java GNU General Public License v3.0 UpdatedAug 28, 2022 -
-
-
-
dreamtt Public
Forked from jonsterling/dreamttA pedagogic implementation of abstract bidirectional elaboration for dependent type theory. If this helps you, please consider sponsoring!
OCaml Apache License 2.0 UpdatedApr 1, 2021 -
-
-
DIO.jl Public
Forked from thautwarm/DIO.jlJulia implementation for Python Restrain JIT
Julia MIT License UpdatedMar 3, 2021 -
diojit Public
Forked from thautwarm/diojitfully compatible CPython jit compiler
Python BSD 2-Clause "Simplified" License UpdatedFeb 18, 2021 -
agda-mode-vscode Public
Forked from banacorn/agda-mode-vscodeagda-mode on VS Code
ReScript MIT License UpdatedFeb 6, 2021 -
-
-
koka Public
Forked from koka-lang/kokaKoka language compiler and interpreter
Haskell Other UpdatedDec 31, 2020 -
vert.x Public
Forked from eclipse-vertx/vert.xVert.x is a tool-kit for building reactive applications on the JVM
Java Other UpdatedNov 3, 2020 -
-
-
vscode-arend Public
Forked from ice1000/vscode-arendVSCode extension for the Arend language
TypeScript UpdatedJul 29, 2020
{{ message }}