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

• eric-keller / npp-linux-03-gateway
  ☆15Updated 10 months ago
• eric-keller / npp-linux-02-router
  ☆18Updated 4 months ago
• eric-keller / npp-linux-04-virtual
  ☆16Updated 10 months ago
• data-centric-computing / dcic-public
  Repository for (for now) filing bug reports about DCIC.
  ☆26Updated 2 years ago
• ADALabUCSD / MorpheusPy
  Factorized Machine Learning with NumPy
  ☆11Updated 4 years ago
• Diderot-Language / diderot
  The Diderot language compiler
  ☆15Updated 2 years ago
• adamschoenemann / dmuac
  Discrete Mathematics Using a Computer exercises/notes
  ☆21Updated 9 years ago
• kiranandcode / ocamlot
  An Activitypub server in OCaml!
  ☆67Updated last year
• janestreet / async_smtp
  SMTP client and server
  ☆46Updated 5 months ago
• ciao-lang / ciaopp
  The Ciao Preprocessor
  ☆11Updated 5 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 11 months ago
• melling / Probabilistic_Programming
  ☆14Updated 4 years ago
• a-yiorgos / wambook
  Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci
  ☆57Updated 5 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 5 years ago
• owainlewis / ocaml-datastructures-algorithms
  Data structures and algorithms in OCaml
  ☆49Updated 2 years ago
• ashish-gehani / OCCAM
  OCCAM: Object Culling and Concretization for Assurance Maximization
  ☆16Updated 2 years ago
• sllam / comingle
  CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles
  ☆33Updated 8 years ago
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 8 years ago
• markfloryan / pdr
  A repo for a Program and Data Representation university-level course
  ☆38Updated 6 years ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• OCamlPro / ocaml-canvas
  The OCaml-Canvas library provides a portable Canvas for OCaml
  ☆59Updated 10 months ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• yminsky / incremental-tutorial
  A tutorial on Incremental, originally for CUFP 2017
  ☆45Updated 7 years ago
• motib / mathematical-logic
  Prolog programs for Mathematical Logic for Computer Science (3rd Edition)
  ☆15Updated 2 years ago
• kayceesrk / ocaml-tutorial
  OCaml tutorial conducted at Abstraction 2019 (https://abstraction-iitm.surge.sh)
  ☆15Updated 6 years ago
• Apress / interpreting-lisp
  Source code for 'Interpreting Lisp' by Gary D. Knott
  ☆23Updated 2 years ago
• kentdlee / MLComp
  A Compiler and Type Inference System for a subset of Standard ML called Small.
  ☆13Updated 7 years ago
• eschulte / goa
  Evolutionary optimization of extant software
  ☆27Updated 10 years ago
• danelahman / lograc-2022
  Git repository for the course Logika v računalništvu
  ☆11Updated 3 years ago