Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks
☆31Mar 26, 2026Updated 2 weeks ago
Alternatives and similar repositories for netkat
Users that are interested in netkat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated last year
- A PPX deriver that automates differential testing for OCaml modules☆26Nov 30, 2024Updated last year
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 15 years ago
- ☆14Dec 9, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Jun 29, 2022Updated 3 years ago
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 4 years ago
- Pretty-printing for error source locations☆37Jun 1, 2022Updated 3 years ago
- A Swiss Army Knife for computational social choice research☆21Mar 31, 2026Updated last week
- A no_std, zero-dependency crate for the creation and management of NaN-boxed types with Box-like semantics, tagged pointers and a macro i…☆20Apr 17, 2020Updated 5 years ago
- Probabilistic Computer Network Analysis☆20Dec 8, 2018Updated 7 years ago
- An experimental language server for SomewhatML☆24Dec 30, 2022Updated 3 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆18Jan 30, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 3 years ago
- The MLPolyR programming language, revived☆25Oct 15, 2020Updated 5 years ago
- Coco/R for Java☆15Aug 14, 2021Updated 4 years ago
- This is yourforth an educational Forth in Intel assembler, with exercises.☆23Jan 18, 2021Updated 5 years ago
- Composable and simple terminal highlighting package for OCaml.☆30Feb 3, 2018Updated 8 years ago
- MetaDL: Datalog analyzing Datalog, Java or any language of your choice☆16Jun 27, 2025Updated 9 months ago
- Interprocedural Distributive Environment algorithm implementation☆16Jul 16, 2015Updated 10 years ago
- ANSI utilities for CLI usage in Zig.☆22Dec 18, 2025Updated 3 months ago
- Protohackers is a server programming challenge. Here is an implementation using OCaml 5 and the effects-based IO library Eio☆16Feb 10, 2023Updated 3 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- An SMT solver frontend for OCaml☆77Updated this week
- Assignments of the dragon book, 2nd☆11Jan 18, 2018Updated 8 years ago
- This repository contains examples to help on understanding what are and how to write PPXs in OCaml.☆45Dec 3, 2024Updated last year
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated last year
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- Reimplementation of Parsley in Haskell, with improvements☆60Nov 2, 2025Updated 5 months ago
- Formalization of CBPV extended with effect and coeffect tracking☆15Aug 30, 2024Updated last year
- A PBT framework☆10Jul 19, 2025Updated 8 months ago
- OVE gathers git repositories and the knowledge how to build and test them☆20Mar 9, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Simplified interface to using Unix commands with OCaml☆12Apr 10, 2025Updated last year
- neovim plugin for OCaml development☆15Feb 15, 2026Updated last month
- A library for parsing, manipulating, and serializing data structured as JSON.☆20Mar 30, 2026Updated last week
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 3 years ago
- An higher-level LLVM binding for OCaml☆14Apr 4, 2017Updated 9 years ago
- Accompanying materials for "A Core Calculus for Documents"☆37Oct 5, 2023Updated 2 years ago
- PBT testsuite and libraries for testing multicore OCaml☆45Updated this week