Alternatives and similar repositories for CFG2CNF

Users that are interested in CFG2CNF are comparing it to the libraries listed below

• OneRaynyDay / oneraynyday.github.io
  ☆8Updated 2 years ago
• judgex / desertrose-old
  ☆9Updated 2 years ago
• z101 / tcc
  Fabrice Bellard's tiny C compiler
  ☆11Updated 9 years ago
• vllm-project / ci-infra
  This repo hosts code for vLLM CI & Performance Benchmark infrastructure.
  ☆11Updated this week
• google-deepmind / brave
  A JAX implementation of Broaden Your Views for Self-Supervised Video Learning, or BraVe for short.
  ☆48Updated 11 months ago
• nemequ / wav
  Type-safe C/C++ API for WASM SIMD.
  ☆13Updated 3 years ago
• dasunpubudumal / lex-yacc
  A simple Parser and a Lexical Analyzer using Lex (Flex) and Yacc (Bison)
  ☆10Updated 7 years ago
• wasm-lsp / vscode-wasm
  Visual Studio Code client for the WebAssembly language server
  ☆16Updated 2 years ago
• compiler-explorer / tools
  Tools for Compiler Explorer
  ☆21Updated 2 years ago
• lcompilers / libasr
  The ASR (Abstract Semantic Representation), backends, optimizations and other tooling
  ☆14Updated last year
• semgrep / semgrep-interfaces
  Store the ATD/openapi/protobuf/... interfaces between semgrep components
  ☆18Updated this week
• googleapis / python-memcache
  This library has moved to https://github.com/googleapis/google-cloud-python/tree/main/packages/google-cloud-memcache
  ☆13Updated 2 years ago
• egranata / krakatau
  Krakatau: a stack based virtual machine
  ☆12Updated 5 years ago
• RReverser / vscode-llvm
  LLVM syntax highlight extension for VS Code
  ☆13Updated last year
• jart / zsh
  Zsh patched to support Actually Portable Executables git://git.code.sf.net/p/zsh/code (upstream pending)
  ☆16Updated 4 years ago
• EliorBenYosef / evolutionary-algorithms
  Evolutionary Algorithms implementations, for various (discrete & continuous) optimization problems, including for autonomous agent contro…
  ☆13Updated 8 months ago
• swarm-lab / xenobots
  Support material for "A New Cellular Platform for the Development of Synthetic Living Machines"
  ☆10Updated 4 years ago
• samamoateng / Goalkicker
  Free programming language books
  ☆10Updated 5 years ago
• minimaxir / tensorflow-multiprocess-ray
  Proof of concept on how to use TensorFlow for prediction tasks in a multiprocess setting.
  ☆18Updated 6 years ago
• fedora-llvm-team / llvm-snapshots
  Everything to build LLVM snapshots for Fedora/RHEL/CentOS Stream
  ☆20Updated this week
• wouterkool / ancestral-gumbel-top-k-sampling
  Ancestral Gumbel-Top-k Sampling
  ☆24Updated 5 years ago
• overleaf / real-time
  The socket.io layer of Overleaf for real-time editor interactions
  ☆17Updated 3 years ago
• revery-ui / esy-skia
  Skia is a complete 2D graphic library for drawing Text, Geometries, and Images.
  ☆19Updated 3 years ago
• fastai / cards_deck
  A minimal example of nbdev based on Allen Downey's Think Python 2nd Ed
  ☆10Updated 2 years ago
• NASA-SW-VnV / AdaStress.jl
  Reinforcement learning framework to find and analyze the likeliest failures of a system under test.
  ☆13Updated last year
• azu / markdown-function
  Markdown builder functions.
  ☆13Updated 2 years ago
• poletaevvlad / larkeditor
  An editor for EBNF grammars, used by Lark – parsing library for Python
  ☆12Updated 6 years ago
• NVIDIA / Forma
  DSL for stencils and image processing
  ☆13Updated 8 years ago
• arXiv / arxiv-compiler
  Service to compile LaTeX source packages into PDF, PostScript, and other formats
  ☆13Updated 4 months ago
• aseprite / observable
  Observer pattern and signals/slots for C++11 projects
  ☆10Updated last month