katef / kgt

Related projects ⓘ

Alternatives and complementary repositories for kgt

• katef / libfsm
  DFA regular expression library & friends
  ☆939Updated last week
• ianh / owl
  A parser generator for visibly pushdown languages.
  ☆746Updated last year
• tendra / tendra
  The TenDRA Project
  ☆238Updated 3 months ago
• ruslashev / elfcat
  ELF visualizer. Generates HTML files from ELF binaries.
  ☆928Updated last year
• zetzit / zz
  🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
  ☆1,600Updated 2 years ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆650Updated this week
• vmware / differential-datalog
  DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…
  ☆1,381Updated last year
• hexagonal-sun / bic
  A C interpreter and API explorer.
  ☆817Updated 2 years ago
• whitequark / unfork
  unfork(2) is the inverse of fork(2). sort of.
  ☆1,464Updated 7 months ago
• Mythra / typeish
  A runtime type checker for bash.... in bash. I'm not sorry.
  ☆329Updated 2 years ago
• dspinellis / dgsh
  Shell supporting pipelines to and from multiple processes
  ☆327Updated 6 months ago
• dsw / proquint
  Proquints: Identifiers that are Readable, Spellable, and Pronounceable.
  ☆292Updated last month
• hirrolot / metalang99
  Full-blown preprocessor metaprogramming
  ☆874Updated this week
• ltcmelo / psychec
  A compiler frontend for the C programming language
  ☆537Updated 3 weeks ago
• hirrolot / poica
  A research programming language on top of C macros
  ☆7Updated last week
• hishamhm / userland-prototype
  Proof-of-concept prototype for Userland
  ☆157Updated 2 years ago
• jart / bestline
  ANSI Standard X3.64 Teletypewriter Command Session Library
  ☆461Updated this week
• hirrolot / datatype99
  Algebraic data types for C99
  ☆1,376Updated this week
• dandavison / chronologer
  Visualize performance benchmarks over git commit history
  ☆245Updated 10 months ago
• rsms / llvmbox
  Self contained, fully static llvm tools & libs
  ☆339Updated last year
• silentbicycle / theft
  property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input
  ☆612Updated 3 years ago
• marcpaq / b1fipl
  A Bestiary of Single-File Implementations of Programming Languages
  ☆1,000Updated 7 months ago
• oriansj / stage0
  A set of minimal dependency bootstrap binaries
  ☆932Updated 9 months ago
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,307Updated 5 months ago
• TartanLlama / vizh
  An esoteric visual language that takes image files as input based on a multi-tape turing machine, designed for compatibility with C.
  ☆231Updated last year
• GaloisInc / crucible
  Crucible is a library for symbolic simulation of imperative programs
  ☆683Updated 3 weeks ago
• LingDong- / wax
  A tiny programming language that transpiles to C, C++, Java, TypeScript, Python, C#, Swift, Lua and WebAssembly 🚀
  ☆794Updated 6 months ago
• jart / sectorlisp
  Bootstrapping LISP in a Boot Sector
  ☆1,292Updated 2 months ago
• doctorn / micro-mitten
  You might not need your garbage collector
  ☆536Updated 4 years ago