Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Netkat Automata

A Coalgebraic Decision Procedure for NetKAT
Stars
5
License
No license specified
Open Issues
0
Most Recent Commit
7 years ago
Programming Language
OCaml
Categories
Repo
Suggest An Alternative To netkat-automata
Popular Repl Projects
Julia ⭐ 43,937
The Julia Programming Language
dependent packages 6total releases 11latest release August 23, 2022most recent commit 4 months ago
Python Fire ⭐ 25,805
Python Fire is a library for automatically generating command line interfaces (CLIs) from absolutely any Python object.
dependent packages 1,304total releases 10latest release December 12, 2022most recent commit 4 months agopypi fire} Downloads
Ts Node ⭐ 12,376
TypeScript execution and REPL for node.js
dependent packages 136,315total releases 128latest release December 08, 2023most recent commit 4 months agonpm ts-node} Downloads
Psysh ⭐ 9,596
A REPL for PHP
dependent packages 596total releases 100latest release October 14, 2023most recent commit 4 months agopackagist psy/psysh} Downloads
Popular Topology Projects
Amqp ⭐ 4,704
Go client for AMQP 0.9.1
dependent packages 2,457total releases 4latest release June 19, 2023most recent commit 8 months ago
Skydive ⭐ 2,522
An open source real-time network topology and protocols analyzer
dependent packages 4total releases 25latest release April 12, 2021most recent commit 5 months ago
Sneakers ⭐ 2,193
A fast background processing framework for Ruby and RabbitMQ
dependent packages 26total releases 32latest release December 24, 2019most recent commit a year agorubygems sneakers} Downloads
Jts ⭐ 1,799
The JTS Topology Suite is a Java library for creating and manipulating vector geometry.
dependent packages 202total releases 11latest release June 21, 2022most recent commit 4 months ago
Qtunnel ⭐ 1,649
A secure socket tunnel works on getqujing.com
total releases 1latest release April 18, 2017most recent commit 7 years ago
Popular User Interface Categories
Theme
Flutter
Animation
Redux
Bindings
Gui
Material
Visualization
Layout
Qt

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Ocaml
Repl
Topology
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.