Highlights
- Pro
-
pandoc-lecture Public
Pandoc Markdown Lecture Template: This project defines a skeleton repo for creating lecture slides and handouts including lecture notes out of Pandoc Markdown (https://pandoc.org/MANUAL.html) using…
-
Toy Public
Forked from Ratstail91/ToyThe Toy Programming Language.
C zlib License UpdatedOct 6, 2024 -
formalized-mathematics-in-lean Public
Forked from andrejbauer/formalized-mathematics-in-leanA graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25
Shell MIT License UpdatedOct 4, 2024 -
nqcc2 Public
Forked from nlsandler/nqcc2Reference implementation for Writing a C Compiler
OCaml MIT License UpdatedOct 3, 2024 -
rust_to_bf Public
Forked from AlexBuz/rust_to_bfA compiler from a subset of Rust to Brainfuck
Rust GNU General Public License v3.0 UpdatedOct 2, 2024 -
MiniLang Public
Forked from NICUP14/MiniLangA type-safe C successor that compiles directly to various platforms.
Python MIT License UpdatedOct 1, 2024 -
OpenKeeper Public
Forked from tonihele/OpenKeeperDungeon Keeper II remake
Java GNU General Public License v3.0 UpdatedSep 29, 2024 -
beartype Public
Forked from beartype/beartypeUnbearably fast near-real-time hybrid runtime-static type-checking in pure Python.
Python MIT License UpdatedSep 26, 2024 -
FAQ: Praxisphase und Abschlussarbeit
-
cognate Public
Forked from cognate-lang/cognateA human readable quasi-concatenative programming language
C BSD 2-Clause "Simplified" License UpdatedSep 24, 2024 -
tokeko Public
Forked from Specy/tokekoLR(1) and LALR parsing tools app to learn compilers and language theory
Svelte UpdatedSep 19, 2024 -
coalton Public
Forked from coalton-lang/coaltonCoalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Common Lisp MIT License UpdatedSep 19, 2024 -
plfa.github.io Public
Forked from plfa/plfa.github.ioAn introduction to programming language theory in Agda
Agda Creative Commons Attribution 4.0 International UpdatedSep 17, 2024 -
-
SeaOfNodes-Simple Public
Forked from SeaOfNodes/SimpleA Simple showcase for the Sea-of-Nodes compiler IR
Java Apache License 2.0 UpdatedSep 9, 2024 -
dotlr Public
Forked from umut-sahin/dotlrAn LR(1) parser generator and visualizer created for educational purposes.
Rust Apache License 2.0 UpdatedSep 9, 2024 -
janet Public
Forked from janet-lang/janetA dynamic language and bytecode vm
C MIT License UpdatedSep 8, 2024 -
sage Public
Forked from adam-mcdaniel/sageA programming language that's wise beyond its bytes!🌱🌿🪴
Rust MIT License UpdatedSep 7, 2024 -
vscoq Public
Forked from coq-community/vscoqA Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
OCaml MIT License UpdatedSep 7, 2024 -
rescript-compiler Public
Forked from rescript-lang/rescript-compilerThe compiler for ReScript.
ReScript Other UpdatedSep 7, 2024 -
c3c Public
Forked from c3lang/c3cCompiler for the C3 language
C GNU Lesser General Public License v3.0 UpdatedSep 7, 2024 -
openj9 Public
Forked from eclipse-openj9/openj9Eclipse OpenJ9: A Java Virtual Machine for OpenJDK that's optimized for small footprint, fast start-up, and high throughput. Builds on Eclipse OMR (https://github.com/eclipse/omr) and combines with…
Java Other UpdatedSep 7, 2024 -
fantom Public
Forked from fantom-lang/fantomFantom Programming Language
Fantom Academic Free License v3.0 UpdatedSep 6, 2024 -
checker-framework Public
Forked from typetools/checker-frameworkPluggable type-checking for Java
Java Other UpdatedSep 5, 2024 -
pyright Public
Forked from microsoft/pyrightStatic Type Checker for Python
Python Other UpdatedSep 4, 2024 -
cmput415_GeneratorBase Public template
Forked from cmput415/GeneratorBaseThe base cmake setup for the generator assignment.
CMake Other UpdatedSep 4, 2024 -
acwj Public
Forked from DoctorWkt/acwjA Compiler Writing Journey
C GNU General Public License v3.0 UpdatedSep 4, 2024 -
Potato Public
Forked from drtshock/PotatoIf you fork this then you can say you forked a potato.
Java GNU General Public License v3.0 UpdatedSep 4, 2024 -
-
lsp4j Public
Forked from eclipse-lsp4j/lsp4jA Java implementation of the language server protocol intended to be consumed by tools and language servers implemented in Java.
Java Other UpdatedSep 4, 2024