Movatterモバイル変換

Skip to content

#

cnf

Here are 138 public repositories matching this topic...

Language:All

Filter by language

All138 Python34 C++28 Java13 C7 Go7 Haskell7 Rust6 Shell5 Jupyter Notebook4 Prolog4

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

msoos /cryptominisat

An advanced SAT solver

cryptography proof verification cnf sat-solver cdcl-algorithm xor dpll

UpdatedMar 16, 2025
C++

stp /stp

Simple Theorem Prover, an efficient SMT solver for bitvectors

cryptography verification symbolic-execution cnf sat-solver smt

UpdatedSep 27, 2024
C++

omec-project /upf

4G/5G Mobile Core User Plane

docker kubernetes dpdk prometheus cnf dataplane 4g upf 5g spgw userplane bess pfcp

UpdatedMar 17, 2025
Go

lfn-cnti /testsuite

📞📱☎️📡🌐 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

kubernetes crystal best-practices k8s cloud-native cnf conformance-tests cnfs good-first-issue

UpdatedMar 17, 2025
Mustache

cncf /cnf-testbed

ARCHIVED: 🧪🛏️Cloud-native Network Function (CNF) Testbed --> See LFN Cloud Native Telecom Initiativehttps://wiki.lfnetworking.org/pages/viewpage.action?pageId=113213592

telecom cloud-native cnf

UpdatedFeb 6, 2024
Shell

sneeuwballen /zipperposition

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, clauses, etc.

prototype experimental ocaml computer-science-algorithms logic polymorphism cnf superposition saturation induction symbolic-computation prover rewriting

UpdatedOct 14, 2024
OCaml

mishun /minisat-rust

Experimental minisat SAT solver reimplementation in Rust

rust np-complete cnf sat-solver minisat

UpdatedAug 10, 2019
Rust

meelgroup /bosphorus

Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter

cnf cryptoanalysis sat dimacs anf anf-simplifications

UpdatedOct 25, 2024
C++

Meridio

Nordix /Meridio

Facilitator of attraction and distribution of external traffic within Kubernetes via secondary networks

kubernetes golang networking containers cncf cloud-native nfv cnf vnf service-mesh cni loadbalancing kubernetes-networking networkservicemesh

UpdatedMar 13, 2025
Go

m4r1k /k8s_5g_lab

5G Telco Lab based on OpenShift

kubernetes real-time containers telco k8s low-latency nfv cnf vpp ocp sr-iov 5g pao

UpdatedMay 5, 2021
Shell

Devorein /fauton

An ecosystem of packages to work with automaton and parsers (dfa/nfa/e-nfa/regex/cfg/pda)

parser typescript regex cnf nfa automaton dfa cfg cyk-algorithm finite-automata nfa-to-dfa-conversion epsilon-nfa ll1-parser lr1-parser

UpdatedMar 7, 2023
TypeScript

ellisonch /CFGLib

Probabilistic Context Free Grammar (PCFG) Library for C#

parser grammar cnf parse-trees context-free-grammar parse-forests earley parsing-algorithm cyk random-grammars

UpdatedSep 12, 2018
C#

vsklad /cgen

CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi output format.

cryptography hash-functions sha2 sha1 sha256 cnf sat dimacs sha-1 satisfiability cnf-encoding

UpdatedJun 3, 2023
C++

nikos912000 /chomsky-normal-form

Convert a Context Free Grammar (CFG) to Chomsky Normal Form (CNF)

python cnf chomsky cfg

UpdatedJun 4, 2014
Python

slime-sat-solver

maxtuno /slime-sat-solver

A Free World Class High Performance SAT Solver

cnf sat-solver sat satisfiability cnf-clauses cnf-encoding

UpdatedJul 12, 2021
JavaScript

meelgroup /arjun

CNF minimizer and minimal independent set calculator

UpdatedMar 16, 2025
C++

LesFacilitateurs /awesome-telco-cloud

A curated list of Telco Cloud ecosystem projects and resources ☁️

infrastructure automation cloud telco orchestration cnf vnf

UpdatedAug 17, 2024

hellman /Quine-McCluskey

DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm

quine-mccluskey cnf dnf satisfiability boolean-minimization

UpdatedNov 29, 2023
C++

PhonePe /mustang

Search engine for Rules - Indexing boolean expressions at scale

java rules json rule-engine evaluation jackson indexer criteria boolean-expression cnf predicates dnf json-processor indexing-boolean-expression

UpdatedAug 21, 2024
Java

BaseMax /CFG2CNF

Python program to convert a Context Free Grammar to Chomsky Normal Form.

python context-free cnf chomsky cfg context-free-grammar context-free-language context-free-grammars

UpdatedJun 30, 2020
Python

Improve this page

Add a description, image, and links to thecnf topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with thecnf topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp