rtoal / pleLinks
Programming Language Explorations
☆94Updated last week
Alternatives and similar repositories for ple
Users that are interested in ple are comparing it to the libraries listed below
Sorting:
- A catalog of code worth reading☆112Updated 8 years ago
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 8 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Solving "99 List Problems" using Objective Caml☆84Updated 6 years ago
- Examples and Exercises for the book "More OCaml"☆63Updated 2 years ago
- A terse Prolog course☆43Updated 6 years ago
- ☆42Updated 9 years ago
- A free software repository of infographics and visualizations for understanding Computer Science ideas☆22Updated 7 years ago
- ☆85Updated 3 years ago
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 3 years ago
- The Definition of Standard ML (1990)☆124Updated 10 years ago
- An idea to handle left-recursion in Parsing Expression Grammars (PEGs)☆36Updated 14 years ago
- LVC verified compiler☆57Updated 6 years ago
- Functional Programming in OCaml MOOC☆36Updated 5 years ago
- Code for http://oilshell.org/blog/☆50Updated 2 weeks ago
- A live programming environment that lets you see the inner workings of programs☆80Updated 3 years ago
- functional neural networks in ocaml☆89Updated 5 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- The Lark programming language.☆58Updated 14 years ago
- A strongly typed language for the web!☆40Updated 9 years ago
- Educational tool for relational algebra☆91Updated last year
- a little JIT VM language for (probably/eventually) terminal UI apps.☆62Updated 6 years ago
- My personal website☆95Updated this week
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- A functional reactive GUI for John Conway's Game of Life.☆25Updated 9 years ago
- My reading list☆83Updated 3 years ago
- 99 Problems in OCaml☆22Updated 9 years ago
- History of Programming Languages, Spring 2017☆137Updated 7 years ago
- Tutorial on Multicore OCaml parallel programming with domainslib☆289Updated last year
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆328Updated last month