My personal notes on various computer languages
☆224Nov 20, 2020Updated 5 years ago
Alternatives and similar repositories for ComputerLanguages
Users that are interested in ComputerLanguages are comparing it to the libraries listed below
Sorting:
- rcor C compiler (under development)☆115Jul 23, 2017Updated 8 years ago
- Code experiments to exercise ideas while reading "Engineering a Compiler".☆27Mar 15, 2019Updated 6 years ago
- Code which loads custom ISA on Intel Haswell GPUs☆47Sep 12, 2016Updated 9 years ago
- This repository contains a non-copying implementation of a sliding windows iterator adaptor.☆11Jun 17, 2017Updated 8 years ago
- an incremental approach to compiler construction☆964Oct 9, 2019Updated 6 years ago
- The Bone Lisp programming language☆331May 9, 2020Updated 5 years ago
- An object-oriented dialect of Scheme☆61Jan 11, 2026Updated last month
- An Oberon-07 compiler for the JVM☆162Nov 25, 2025Updated 3 months ago
- A language built for fun☆34Oct 13, 2025Updated 4 months ago
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 3 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Jul 4, 2013Updated 12 years ago
- Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.☆15Feb 9, 2016Updated 10 years ago
- opae.github.io☆10Sep 2, 2024Updated last year
- Examples from the class CMSC 330 during Summer 2015☆49Jul 23, 2015Updated 10 years ago
- Strongly typed language that compiles to JavaScript☆16Dec 7, 2016Updated 9 years ago
- willow - a simple interpreted programming language☆10Feb 3, 2018Updated 8 years ago
- The Finch programming language☆255Aug 4, 2020Updated 5 years ago
- My notes from reading this amazing book by Peter M. Kogge.☆25Apr 14, 2014Updated 11 years ago
- Bitcoin data-structures library for OCaml☆43Jun 3, 2020Updated 5 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20May 10, 2017Updated 8 years ago
- LLVM backend for the J2 Core (Hitachi SuperH SH-2 clone)☆24Jan 3, 2018Updated 8 years ago
- Manipulating racket bytecode☆26Oct 24, 2021Updated 4 years ago
- Tools for analyzing how the Rust ecosystem is using the language☆12Jan 21, 2015Updated 11 years ago
- An experimental interactive shell for Alpaca, the ML language that runs on the Erlang VM☆10Jun 7, 2017Updated 8 years ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years ago
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 8 years ago
- A turtle for making turtle graphics that uses the <canvas>☆12Jan 19, 2015Updated 11 years ago
- Not Another Range Library☆39Mar 9, 2014Updated 11 years ago
- NeWS clone (very work in progress).☆11Oct 25, 2016Updated 9 years ago
- Specifications for better computing☆10Nov 19, 2019Updated 6 years ago
- Go interface of Tkrzw☆13Jun 3, 2024Updated last year
- A simple ML dialect☆11Jan 2, 2017Updated 9 years ago
- RoarVM is a manycore Smalltalk Virtual Machine☆244Jun 10, 2013Updated 12 years ago
- soap - Structural Optimisation of Arithmetic Programs☆24May 9, 2016Updated 9 years ago
- Learning Constraint Programming with Picat☆55Oct 20, 2025Updated 4 months ago
- MLton with Realtime GC and Threading features☆103Mar 7, 2024Updated last year
- A JavaScript implementation of SOM, a minimal Smalltalk for teaching and research.☆17Feb 7, 2024Updated 2 years ago
- an rope data structure☆11Dec 1, 2017Updated 8 years ago
- Seax Virtual Machine☆11Feb 13, 2017Updated 9 years ago