A notebook on compilers, programming languages, and other topics.
☆19Mar 13, 2025Updated 11 months ago
Alternatives and similar repositories for notes
Users that are interested in notes are comparing it to the libraries listed below
Sorting:
- A pure subset of Prolog, implemented in Haskell☆31Jul 19, 2013Updated 12 years ago
- ☆39Jul 25, 2024Updated last year
- Some unstructured notes concerning the Broad tutorial to take place in March 2020☆31Sep 18, 2021Updated 4 years ago
- An iCalendar (.ics) file that displays the date and rural day name according to the French Republican calendar☆10Aug 7, 2022Updated 3 years ago
- DKMS package for various Phytium/飞腾 off-tree modules (tested with D2000/8)☆12Sep 30, 2023Updated 2 years ago
- ☆12Jul 3, 2018Updated 7 years ago
- 🧬 an evolving design philosophy (masquerading as a color scheme)☆11Dec 8, 2025Updated 2 months ago
- Advent of Code Submission Board showcasing solutions of CAU CS students/alumni☆11Dec 14, 2025Updated 2 months ago
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆33Feb 16, 2026Updated last week
- A tiny judging environment for OI contest☆34Aug 28, 2018Updated 7 years ago
- python to tax form compiler☆12Jun 6, 2022Updated 3 years ago
- Unofficial reference documentation for ATS programming language libraries☆15Jun 27, 2012Updated 13 years ago
- First two front-end phases of a language-independent compiler implemented in C++☆14Jul 27, 2020Updated 5 years ago
- (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog☆12Sep 9, 2021Updated 4 years ago
- Interval Treeset based on finger trees☆11Oct 28, 2020Updated 5 years ago
- ☆11Jan 4, 2023Updated 3 years ago
- Vijos: Vijos Isn't Just an Operating System☆10May 31, 2020Updated 5 years ago
- A PDF that shows its own MD5☆11Jan 2, 2023Updated 3 years ago
- Illustration of Rust await syntax alternatives☆13May 5, 2019Updated 6 years ago
- Port of original MemTest86+ v5.1 to other architectures (RISC-V for now)☆16Jan 26, 2020Updated 6 years ago
- Libraries for declaring and using type-level values.☆11Mar 28, 2019Updated 6 years ago
- Implementation of lua virtual machine☆11Jan 22, 2018Updated 8 years ago
- Running ahead of memory latency - Part II project☆10Jan 7, 2023Updated 3 years ago
- gdb pretty printer for llvm's libcxx☆11Mar 9, 2018Updated 7 years ago
- Cli tool to pass arguments to nix flakes☆10May 6, 2024Updated last year
- import chat records from your im and store into single sqlite database☆10Nov 4, 2024Updated last year
- interprets lambda calculus☆10Dec 1, 2025Updated 2 months ago
- Code for the article series on building a Python compiler and interpreter☆11Feb 13, 2025Updated last year
- A museum of historical and modern regular expression engines, showing their development and influence☆22Dec 26, 2025Updated 2 months ago
- Compile time unit checking with C++11 template magic.☆14Apr 30, 2019Updated 6 years ago
- LaTeX 讲座资料☆12Apr 7, 2022Updated 3 years ago
- Rust feature support from https://caniuse.rs as an Alfred workflow.☆13Feb 9, 2026Updated 2 weeks ago
- A TUI signal waveform viewer.☆23Mar 27, 2025Updated 11 months ago
- a deadly simple repl for cpp with ghci style commands☆14Jan 7, 2023Updated 3 years ago
- Arithmetic in Rust's Type System☆11Feb 18, 2024Updated 2 years ago
- An epoll-based HTTP library for ATS2☆14Dec 27, 2022Updated 3 years ago
- Example for writing a simple parser using Nom and Rust☆10Nov 19, 2020Updated 5 years ago
- A lightweight Lua httpserver for easy webservices developping.☆10Mar 30, 2015Updated 10 years ago
- Method generation for enumerated types in Rust☆12Apr 11, 2019Updated 6 years ago