Ajwah / Programming-Languages
Coursera Course Dan Grossman - (SML - Dr Racket - Ruby) + all other SML assignments from University of Washington
☆9Updated 9 years ago
Alternatives and similar repositories for Programming-Languages
Users that are interested in Programming-Languages are comparing it to the libraries listed below
Sorting:
- HaScheme is a Scheme interpreter written by Haskell.☆11Updated 8 years 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 4 years ago
- Yet another Scheme interpreter.☆11Updated 2 years ago
- Books on programming language theory and linguistics in general.☆53Updated 3 years ago
- ⛵ A distributed key-value store based on Raft. (WIP)☆43Updated 5 years ago
- Bytecode compiler of a variant of Caml☆34Updated 9 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated 9 months ago
- A collection of PLT researching☆29Updated 2 months ago
- The compiler for subset of scheme developed as part of P523☆30Updated 8 years ago
- Incremental implementation of a scheme compiler☆29Updated 12 years ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Updated 2 years ago
- my solutions to problems in Programming Languages: Application and Interpretation class by Shriram Krishnamurthi☆8Updated 9 years ago
- Okasaki's Purely Functional Data Structures in OCaml☆40Updated 12 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Updated 8 years ago
- ☆14Updated 7 years ago
- Public course materials for CSE 131 (Compilers)☆18Updated 4 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- Constructive Interpretations of HoTT☆36Updated 4 years 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…☆26Updated 4 years ago
- OCaml 文档中文版☆32Updated 6 years ago
- My type-ups for copilot to learn from.☆11Updated 2 years ago
- Go! Lisp in OCaml☆75Updated 12 years ago
- Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"☆149Updated 3 months ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆19Updated 6 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago
- ☆39Updated this week
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆102Updated 10 years ago
- The TLA⁺ Proof Manager☆75Updated 2 weeks ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated 9 months ago
- Genius programmer should write his own lisp!☆56Updated this week