Alternatives and similar repositories for new-typesetting-system

Users that are interested in new-typesetting-system are comparing it to the libraries listed below

• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆75Updated 7 months ago
• needleful / c_plus_prolog
  C plus Prolog
  ☆164Updated 5 months ago
• jbroll / isbl
  ISBL - Information Systems Base Language
  ☆20Updated 10 years ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated last year
• MultiArrayQueue / MultiArrayQueue
  Multi-Array Queue program codes
  ☆76Updated 2 months ago
• agiacalone / cecs-342-lab-prolog
  CECS 342 Lab 4: Logic Languages with SWI-Prolog
  ☆13Updated 3 years ago
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 9 years ago
• andportnoy / riscv-disassembler
  A minimal RISC-V RV32I disassembler
  ☆56Updated 4 years ago
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆68Updated 2 years ago
• goblint / cil
  C Intermediate Language
  ☆148Updated 3 weeks ago
• false-schemers / siof
  SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme
  ☆69Updated 3 years ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 4 years ago
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆80Updated 2 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated 2 years ago
• irrio / semblance
  My little WebAssembly interpreter
  ☆73Updated last month
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• kelas / ooj
  the origins of J
  ☆63Updated 2 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• fanf2 / hg64
  a 64-bit histogram / quantile sketch
  ☆59Updated 7 months ago
• jpakkane / chapterizer
  A book generator
  ☆28Updated 2 weeks ago
• rochus-keller / OberonSystem3
  A cross-platform version of the ETH Oberon System 3 compatible with the Oberon+ compiler and IDE
  ☆103Updated last month
• zserge / lc3-forth
  Post-Apocalyptic Computing: bootstrapping Forth environment for LC-3 CPU
  ☆94Updated 3 years ago
• iczelia / qbdiff
  building and applying patches to binary files
  ☆74Updated 3 weeks ago
• danielcota / biski64
  A very fast and robust 64-bit PRNG with a minimum 2^64 period.
  ☆148Updated 2 months ago
• AnilBK / ANIL
  ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…
  ☆59Updated last week
• kstenerud / dogma
  Dogma: A modernized metalanguage with better expressiveness and binary grammar support
  ☆65Updated 2 years ago
• henriquegogo / kamby
  Kamby Language
  ☆74Updated last month
• kign / c4wa
  A simplified subset of C transpiled into Web Assembly
  ☆101Updated 3 years ago
• rrampage / wart
  A simple Web Assembly Interpreter
  ☆16Updated last year
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 2 years ago