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
  ☆57Updated last year
• typeswitch-dev / yotta
  ☆60Updated last year
• ras52 / bootstrap
  Richard's compiler bootstrap experiment
  ☆44Updated 2 years ago
• zserge / lc3-forth
  Post-Apocalyptic Computing: bootstrapping Forth environment for LC-3 CPU
  ☆92Updated 3 years ago
• NICUP14 / MiniLang
  A type-safe C successor that compiles directly to various platforms.
  ☆139Updated 8 months ago
• ludocode / onramp
  A portable self-bootstrapping C compiler
  ☆184Updated this week
• needleful / c_plus_prolog
  C plus Prolog
  ☆166Updated 10 months ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆44Updated last month
• wareya / filli
  Small powerful micro scripting language <1K SLOC
  ☆62Updated 3 months ago
• goblint / cil
  C Intermediate Language
  ☆158Updated last week
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆32Updated 4 years ago
• woodrush / lambdavm
  A programmable virtual CPU written in untyped lambda calculus
  ☆61Updated 3 years ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 3 years ago
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆41Updated 2 months ago
• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆76Updated 11 months ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆204Updated 3 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆194Updated 2 weeks ago
• tomhrr / cosh
  Concatenative command-line shell
  ☆136Updated 6 months ago
• ret2pop / stem
  A minimal stack based programming language
  ☆33Updated last year
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆121Updated this week
• nlsandler / c-compiler-implementations
  Reader Implementations of "Writing a C Compiler"
  ☆36Updated last month
• bugsbugsbux / understanding-j
  An introduction to the J programming language that gets to the point.
  ☆68Updated last month
• darius / idel
  A low-level virtual machine for mobile code
  ☆12Updated 8 years ago
• playXE / migc
  Simple conservative GC using mimalloc
  ☆41Updated 3 years ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆85Updated last year
• wojciech-graj / oriel
  An interpreter for the 1991 Oriel scripting language
  ☆58Updated 2 years ago
• jamii / zest
  ☆134Updated 3 weeks ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated last month
• xorvoid / forsp
  Forsp: A Forth+Lisp Hybrid Lambda Calculus Language
  ☆218Updated last year