Alternatives and similar repositories for treemeta

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

• jpt4 / skio

  View on GitHub
  Pure relational SKI combinator calculus interpreter.
  ☆11Jul 13, 2017Updated 8 years ago
• SjVer / Lamb

  View on GitHub
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Sep 29, 2022Updated 3 years ago
• Bulat-Ziganshin / magus

  View on GitHub
  Portable high-level assembler with authentic C syntax
  ☆25Jul 1, 2022Updated 3 years ago
• fulldecent / structured-acceptance-test

  View on GitHub
  An open format definition for static analysis tools
  ☆11Jan 20, 2023Updated 3 years ago
• jimlindstrom / MyDoom

  View on GitHub
  Doom - reimplemented cleanly, in C++, without all the obscuring optimizations
  ☆12Jan 9, 2015Updated 11 years ago
• triska / presprover

  View on GitHub
  Prove formulas of Presburger Arithmetic
  ☆11Oct 5, 2024Updated last year
• catseye / Vinegar

  View on GitHub
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆15Nov 3, 2023Updated 2 years ago
• c-cube / quip

  View on GitHub
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Mar 29, 2023Updated 2 years ago
• dohliam / openjs1k

  View on GitHub
  A collection of freely-licensed js1k entries
  ☆10Feb 29, 2016Updated 9 years ago
• glouw / kvltland

  View on GitHub
  The fractal land generator
  ☆15Aug 3, 2019Updated 6 years ago
• prathyvsh / history-of-lambda-calculus

  View on GitHub
  Survey on materials that touch on the history of Lambda Calculus
  ☆12Sep 13, 2020Updated 5 years ago
• benfle / META-II

  View on GitHub
  Experiments with META II
  ☆12Jan 9, 2018Updated 8 years ago
• 173duprot / saneforth

  View on GitHub
  TinyForth Standard -- microscopic simplified forth standard of 35 words, designed to make forth as simple, extensible, and readable as po…
  ☆13Feb 26, 2023Updated 2 years ago
• clemahieu / mu

  View on GitHub
  Mu is a modern, modular, system programming language and scripting toolchain
  ☆12Jan 13, 2016Updated 10 years ago
• nickdrozd / busy-beaver-stuff

  View on GitHub
  Tools for finding and analyzing Busy Beaver programs for Turing machines
  ☆14Updated this week
• imneme / mini-sk

  View on GitHub
  A Small Combinator-Reduction System
  ☆19Jul 14, 2020Updated 5 years ago
• KaKrzysiek / bigint

  View on GitHub
  Open source library to handle integers of any size in C
  ☆14Apr 11, 2023Updated 2 years ago
• granstrom / intuitionistic

  View on GitHub
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Apr 8, 2015Updated 10 years ago
• 173duprot / tinyforth

  View on GitHub
  Ultra-tiny forth implementation in GNU C99. A microscopic simplified forth, designed to be as simple, extensible, and readable as possibl…
  ☆36Nov 13, 2024Updated last year
• darrenks / atlas

  View on GitHub
  concise functionless functional esolang
  ☆14Jan 18, 2026Updated 3 weeks ago
• strainer / trigfills

  View on GitHub
  Sin, cos, tan, asin... polyfills for when cross browser consistency is desired.
  ☆16Aug 6, 2021Updated 4 years ago
• trillioneyes / idris-pong

  View on GitHub
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Nov 20, 2014Updated 11 years ago
• m-ender / orthagonal

  View on GitHub
  A two-dimensional programming language from 1994.
  ☆12Oct 2, 2016Updated 9 years ago
• triska / trs

  View on GitHub
  Reason about Term Rewriting Systems
  ☆18Jul 24, 2022Updated 3 years ago
• jdykstra / ucsd-psystem-xc

  View on GitHub
  Actively maintained fork of Peter Miller's UCSD P-System tools - Cross-compiler
  ☆18Nov 2, 2025Updated 3 months ago
• bbchallenge / bbchallenge-deciders

  View on GitHub
  Here we give programs that check if Turing machines halt or not.
  ☆15Sep 1, 2025Updated 5 months ago
• uwplse / potpie

  View on GitHub
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆16Aug 19, 2024Updated last year
• 8l / asif

  View on GitHub
  A Self-Interpreter for F-omega
  ☆16Dec 6, 2015Updated 10 years ago
• bts / deferred-substitution

  View on GitHub
  An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"
  ☆15Aug 8, 2018Updated 7 years ago
• devhawala / emx370

  View on GitHub
  S/370 emulator allowing to run the CMS operating system of VM/370-R6 from 1978
  ☆14Apr 22, 2020Updated 5 years ago
• aheui / jsaheui

  View on GitHub
  Aheui interpreter in Javascript
  ☆22Nov 20, 2016Updated 9 years ago
• devhawala / nicof

  View on GitHub
  Communication infrastructure for VM/370-R6 SixPack
  ☆13Feb 11, 2018Updated 8 years ago
• rthelen / tyForth

  View on GitHub
  A strongly typed Forth. Stack elements know their type. Functions, words, strings and tables (Lua-esque tables) are first class types.
  ☆16May 23, 2010Updated 15 years ago
• atennapel / coc-os

  View on GitHub
  "operating system" based on the calculus of constructions
  ☆18Jun 22, 2022Updated 3 years ago
• kvakil / 0asm

  View on GitHub
  x86 assembler in 512 bytes of x86 machine code
  ☆38Dec 1, 2019Updated 6 years ago
• thamugadi / call-cc-krivine

  View on GitHub
  A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.
  ☆15Feb 26, 2024Updated last year
• bewing0 / qcc

  View on GitHub
  A superfast C compiler inspired by TinyCC
  ☆16May 27, 2015Updated 10 years ago
• dpiponi / SASL

  View on GitHub
  A simple and educational compiler for the SASL programming language
  ☆23Apr 16, 2018Updated 7 years ago
• m-ender / wumpus

  View on GitHub
  A two-dimensional, triangular programming language.
  ☆18Apr 16, 2021Updated 4 years ago