eric-keller / npp-linux-05-kubernetesLinks
☆28Updated last year
Alternatives and similar repositories for npp-linux-05-kubernetes
Users that are interested in npp-linux-05-kubernetes are comparing it to the libraries listed below
Sorting:
- ☆30Updated last year
- Repository for (for now) filing bug reports about DCIC.☆30Updated 5 months ago
- TLA+ Foundation☆32Updated 2 months ago
- Support for for students (Python)☆70Updated 3 months ago
- Tutorial on Multicore OCaml parallel programming with domainslib☆294Updated last year
- Some programming problems I have solved for fun and practice☆34Updated 4 months ago
- A List of companies that use Array Languages (J, K, APL, q)☆100Updated last year
- Bibliography of Scheme-related Research☆15Updated 6 years ago
- Web page for IU Compiler Course for Fall 2020☆132Updated 5 years ago
- This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).☆44Updated last week
- Writing Scheme in Haskell☆59Updated 5 years ago
- Solutions to OCaml Programming☆93Updated last month
- Domain-Specific Languages of Mathematics☆446Updated last week
- ☆400Updated 15 years ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 2 months ago
- We read computer science books for fun. This is where the secret notes live.☆80Updated 4 years ago
- Learn TLA+ for free! No prior experience necessary!☆237Updated 2 months ago
- Programs that are used in the Cousineau/Mauny books☆31Updated 4 years ago
- Functional Programming in OCaml MOOC☆36Updated 6 years ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆169Updated last year
- A simulation language☆21Updated 5 years ago
- Digitized code from MIT's 1986 SICP video lectures.☆196Updated 6 years ago
- Library of Intuitive Ordinal Notations (IONs)☆11Updated 5 years ago
- C Koans☆141Updated 11 months ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆62Updated 10 years ago
- Examples and Exercises for the book "More OCaml"☆66Updated 3 years ago
- Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"☆153Updated 2 months ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆46Updated 3 years ago
- TAOCP - The Art Of Computer Programming Reading Group meetup schedule and meeting notes☆36Updated 4 years ago
- Programs for the third edition of the Algorithm Design Manual☆144Updated 3 years ago