Ajwah / Programming-Languages
Coursera Course Dan Grossman - (SML - Dr Racket - Ruby) + all other SML assignments from University of Washington
☆9Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for Programming-Languages
- This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…☆24Updated 3 years ago
- HaScheme is a Scheme interpreter written by Haskell.☆11Updated 7 years ago
- Modern Compiler Implementation in ML☆11Updated 7 years ago
- A Rust reimplementation of the labs in THU distributed systems (2020 spring).☆10Updated 6 months ago
- ☆10Updated 5 years ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆17Updated 6 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆24Updated 2 years ago
- 这是Haskell函数式编程入门第2版的源码☆82Updated 6 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Updated 7 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆16Updated 2 years ago
- Mathematical notes and papers☆25Updated 2 months ago
- This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…☆11Updated 3 years ago
- [WIP] ⛵ A basic key-value storage service with transaction and fault-tolerant in Rust.☆11Updated 4 years ago
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- Incremental implementation of a scheme compiler☆29Updated 11 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 7 years ago
- Notes on higher-order typed compilation. Probably wrong☆22Updated 2 years ago
- LLVM DSA fork for SeaHorn☆21Updated 5 years ago
- slides of zju-lambda☆14Updated 5 years ago
- Yet another Scheme interpreter.☆11Updated 2 years ago
- Implementations of various toy programming languages☆12Updated 6 years ago
- My type-ups for copilot to learn from.☆11Updated 2 years ago
- ☆15Updated last year
- ☆27Updated last week
- Coq formalizations and proofs of (data) structures and algorithms.☆46Updated 6 years ago
- Examples and Exercises in Rust from "Advanced Programming in the UNIX Environment"☆19Updated 7 years ago
- ~ Fabricated replica.☆10Updated 2 years ago
- Bytecode compiler of a variant of Caml☆32Updated 9 years ago