Alternatives and similar repositories for kgt:

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

• katef / libfsm
  DFA regular expression library & friends
  ☆958Updated last month
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆671Updated 2 weeks ago
• ianh / owl
  A parser generator for visibly pushdown languages.
  ☆793Updated last month
• dspinellis / dgsh
  Shell supporting pipelines to and from multiple processes
  ☆335Updated last year
• zetzit / zz
  🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
  ☆1,603Updated 2 years ago
• apenwarr / redo
  Smaller, easier, more powerful, and more reliable than make. An implementation of djb's redo.
  ☆1,810Updated last year
• ltcmelo / psychec
  A compiler frontend for the C programming language
  ☆547Updated last week
• tendra / tendra
  The TenDRA Project
  ☆241Updated 8 months ago
• afnanenayet / diffsitter
  A tree-sitter based AST difftool to get meaningful semantic diffs
  ☆1,745Updated this week
• rbakbashev / elfcat
  ELF visualizer. Generates HTML files from ELF binaries.
  ☆965Updated 2 weeks ago
• dandavison / chronologer
  Visualize performance benchmarks over git commit history
  ☆250Updated last year
• herbie-fp / herbie
  Optimize floating-point expressions for accuracy
  ☆798Updated this week
• marcpaq / b1fipl
  A Bestiary of Single-File Implementations of Programming Languages
  ☆1,012Updated 2 weeks ago
• silentbicycle / guff
  a plot device
  ☆317Updated 5 years ago
• vmchale / polyglot
  Tool to count lines of source code.
  ☆250Updated last year
• hirrolot / datatype99
  Algebraic data types for C99
  ☆1,407Updated last month
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆492Updated 6 months ago
• whitequark / unfork
  unfork(2) is the inverse of fork(2). sort of.
  ☆1,473Updated last year
• comby-tools / comby
  A code rewrite tool for structural search and replace that supports ~every language.
  ☆2,482Updated last month
• jart / sectorlisp
  Bootstrapping LISP in a Boot Sector
  ☆1,374Updated 5 months ago
• jart / landlock-make
  Sandboxing for GNU Make has never been easier
  ☆238Updated 2 years ago
• silentbicycle / theft
  property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input
  ☆622Updated 4 years ago
• mystor / git-revise
  A handy tool for doing efficient in-memory commit rebases & fixups
  ☆773Updated last week
• GuntherRademacher / rr
  RR - Railroad Diagram Generator
  ☆508Updated last month
• tabatkins / railroad-diagrams
  A small JS+SVG library for drawing railroad syntax diagrams, like on JSON.org. Now with a Python port!
  ☆1,688Updated last year
• dyu / ffi-overhead
  comparing the c ffi (foreign function interface) overhead on various programming languages
  ☆674Updated last year
• e-n-f / if-then-else
  !!Con West 2019 talk
  ☆352Updated 4 years ago
• ggerganov / dot-to-ascii
  Graphviz to ASCII converter using Graph::Easy
  ☆475Updated 2 years ago
• vmware-archive / differential-datalog
  DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…
  ☆1,405Updated last year
• hirrolot / metalang99
  Full-blown preprocessor metaprogramming
  ☆923Updated last month