10 results found Sort:
- Filter by Primary Language:
- C++ (3)
- Go (2)
- Shell (2)
- Mustache (1)
- OCaml (1)
- TypeScript (1)
- +
An advanced SAT solver
Created
2012-03-13
17,034 commits to master branch, last one 12 days ago
Simple Theorem Prover, an efficient SMT solver for bitvectors
Created
2013-08-27
3,188 commits to master branch, last one 2 months ago
4G/5G Mobile Core User Plane
Created
2019-11-01
951 commits to main branch, last one 12 days ago
📞📱☎️📡🌐 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,897 commits to main branch, last one 2 days ago
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 10 months ago
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 10 months ago
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
Created
2018-12-12
299 commits to master branch, last one about a month ago
5G Telco Lab based on OpenShift
Created
2021-02-12
151 commits to main branch, last one 3 years ago
Facilitator of attraction and distribution of external traffic within Kubernetes via secondary networks
Created
2021-03-03
1,038 commits to master branch, last one 3 days 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