Alternatives and similar repositories for learn_you_galois_fields_for_great_good

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

• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆58Updated 2 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 3 years ago
• ludocode / onramp
  A portable self-bootstrapping C compiler
  ☆189Updated this week
• needleful / c_plus_prolog
  C plus Prolog
  ☆168Updated 10 months ago
• nlsandler / c-compiler-implementations
  Reader Implementations of "Writing a C Compiler"
  ☆37Updated last week
• NICUP14 / MiniLang
  A type-safe C successor that compiles directly to various platforms.
  ☆139Updated 8 months ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 3 years ago
• wareya / filli
  Small powerful micro scripting language <1K SLOC
  ☆61Updated 3 months ago
• ret2pop / stem
  A minimal stack based programming language
  ☆34Updated last year
• typeswitch-dev / yotta
  ☆59Updated last year
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆32Updated 4 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆204Updated 3 years ago
• goblint / cil
  C Intermediate Language
  ☆159Updated last week
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆121Updated 3 weeks ago
• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆76Updated last year
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆107Updated 4 months ago
• jamii / zest
  ☆139Updated this week
• ckirsch / book
  ☆122Updated last year
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆58Updated last year
• brightprogrammer / MisraStdC
  Generic and TypeSafe Programming In C
  ☆66Updated 3 months ago
• etiamz / supercompilation-resources
  📚 A collection of resources about supercompilation
  ☆128Updated 6 months ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆30Updated 2 years ago
• justinmeiners / srcweave
  A literate programming system for any language.
  ☆121Updated 2 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆76Updated 15 years ago
• eliben / letsbuildacompiler
  Re-implementation of the Let's Build a Compiler tutorial in Python, emitting WASM
  ☆133Updated last month
• danthedaniel / BF-JIT
  BrainFuck just-in-time compiler
  ☆31Updated last week
• jart / matmul
  ☆18Updated last year
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆81Updated 2 years ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆85Updated last year
• sirwhinesalot / gc-arena
  A simple Garbage Collected Arena for C.
  ☆19Updated last year