10 results found Sort:

188
834
other
29
An advanced SAT solver
Created 2012-03-13
17,036 commits to master branch, last one 20 days ago
130
533
other
34
Simple Theorem Prover, an efficient SMT solver for bitvectors
Created 2013-08-27
3,188 commits to master branch, last one 4 months ago
108
190
unknown
22
4G/5G Mobile Core User Plane
Created 2019-11-01
957 commits to main branch, last one 18 hours ago
72
178
apache-2.0
20
๐Ÿ“ž๐Ÿ“ฑโ˜Ž๏ธ๐Ÿ“ก๐ŸŒ Cloud Native Telecom Initiative (CNTI) Test Catalog is a tool to check for and provide feedback on the use of K8s + cloud native best practices in networking applications and platforms
Created 2020-01-17
5,914 commits to main branch, last one 5 days ago
51
164
apache-2.0
44
ARCHIVED: ๐Ÿงช๐Ÿ›๏ธCloud-native Network Function (CNF) Testbed --> See LFN Cloud Native Telecom Initiative https://wiki.lfnetworking.org/pages/viewpage.action?pageId=113213592
Created 2018-04-09
858 commits to master branch, last one about a year ago
17
139
bsd-2-clause
11
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, claus...
Created 2012-08-15
6,728 commits to master branch, last one about a year ago
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
Created 2018-12-12
299 commits to master branch, last one 3 months ago
9
46
apache-2.0
7
Facilitator of attraction and distribution of external traffic within Kubernetes via secondary networks
Created 2021-03-03
1,040 commits to master branch, last one 25 days ago
24
46
unknown
4
5G Telco Lab based on OpenShift
Created 2021-02-12
151 commits to main branch, last one 3 years ago
An ecosystem of packages to work with automaton and parsers (dfa/nfa/e-nfa/regex/cfg/pda)
Created 2021-11-06
412 commits to dev branch, last one 2 years ago