Alternatives and similar repositories for new-typesetting-system

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

• agiacalone / cecs-342-lab-prolog
  CECS 342 Lab 4: Logic Languages with SWI-Prolog
  ☆13Updated 3 years ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated last year
• MultiArrayQueue / MultiArrayQueue
  Multi-Array Queue program codes
  ☆75Updated 2 months ago
• jbroll / isbl
  ISBL - Information Systems Base Language
  ☆19Updated 10 years ago
• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆76Updated 6 months 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
• kspalaiologos / qbdiff
  building and applying patches to binary files
  ☆73Updated 3 weeks ago
• goblint / cil
  C Intermediate Language
  ☆148Updated last week
• andportnoy / riscv-disassembler
  A minimal RISC-V RV32I disassembler
  ☆56Updated 4 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated 2 years ago
• rochus-keller / OberonSystem3
  A cross-platform version of the ETH Oberon System 3 compatible with the Oberon+ compiler and IDE
  ☆102Updated 2 weeks ago
• needleful / c_plus_prolog
  C plus Prolog
  ☆162Updated 4 months ago
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆68Updated 2 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆75Updated 2 years ago
• fanf2 / hg64
  a 64-bit histogram / quantile sketch
  ☆59Updated 7 months ago
• kstenerud / dogma
  Dogma: A modernized metalanguage with better expressiveness and binary grammar support
  ☆65Updated 2 years ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 4 years ago
• kelas / ooj
  the origins of J
  ☆63Updated 2 years ago
• irrio / semblance
  My little WebAssembly interpreter
  ☆73Updated 2 weeks ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 4 months ago
• billziss-gh / imap
  Integer Map Data Structure
  ☆131Updated 2 years ago
• peterhorne / rrb-tree
  Typescript implementation of Relaxed Radix Balanced Trees
  ☆18Updated 10 months ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆15Updated 2 years ago
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆80Updated 2 years ago
• andy-goryachev / MemSafeCrypto
  A subset of BouncyCastle crypto primitives, refactored to use DirectByteBuffer.
  ☆31Updated last year
• tomhea / c2fj
  Compiling C to FlipJump
  ☆92Updated 6 months ago
• stuffmatic / chebyshev-calculator
  A web app that generates code for efficiently approximating mathematical functions of one variable.
  ☆96Updated 10 months ago
• danielcota / biski64
  A very fast and robust 64-bit PRNG with a minimum 2^64 period.
  ☆148Updated last month
• jpakkane / chapterizer
  A book generator
  ☆28Updated this week
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆85Updated 5 years ago