paulfitz/cosmicos external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

paulfitz/cosmicos

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/paulfitz/cosmicos)

Close

paulfitz / cosmicosView on GitHubMore

• External links
• Readme badge

Sending the lambda calculus into deep space

☆152Apr 27, 2022Updated 3 years ago

Alternatives and similar repositories for cosmicos

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

• Qqwy / Jux

  View on GitHub
  ☆14Jan 31, 2021Updated 5 years ago
• Armael / conch

  View on GitHub
  ☆24Nov 6, 2021Updated 4 years ago
• mcejp / lux

  View on GitHub
  Synthesizable Uxn CPU
  ☆17Jul 14, 2022Updated 3 years ago
• tjwei / Fractran

  View on GitHub
  Javascript implementation of Fractran
  ☆15Sep 14, 2017Updated 8 years ago
• smarr / PySOM

  View on GitHub
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆19Aug 19, 2025Updated 6 months ago
• alan-j-hu / ocaml-textmate-language

  View on GitHub
  Library for tokenizing code with TextMate grammars
  ☆14Feb 28, 2026Updated last week
• dariusf / iota

  View on GitHub
  Io-to-JavaScript compiler
  ☆25May 26, 2017Updated 8 years ago
• moon-chilled / j

  View on GitHub
  various toys in j
  ☆12Apr 13, 2022Updated 3 years ago
• darrenldl / ocaml-lxc

  View on GitHub
  OCaml binding to LXC with idiomatic (and opionated) OCaml API design
  ☆13Oct 25, 2019Updated 6 years ago
• pdubroy / ohm-som

  View on GitHub
  A JavaScript implementation of SOM, a minimal Smalltalk for teaching and research.
  ☆17Feb 7, 2024Updated 2 years ago
• graydon / exhaustigen

  View on GitHub
  ☆11Nov 16, 2021Updated 4 years ago
• civboot / fngi

  View on GitHub
  a readable language that grows from the silicon
  ☆61Jul 24, 2023Updated 2 years ago
• JohnEarnest / Four.Ps

  View on GitHub
  A minimal Forth VM and Compiler implemented in PostScript
  ☆29Apr 7, 2011Updated 14 years ago
• emreyolcu / rewriting-collatz

  View on GitHub
  An automated approach to the Collatz conjecture
  ☆12Oct 7, 2023Updated 2 years ago
• DeltaF1 / uxn-instruction-tests

  View on GitHub
  ☆16May 1, 2023Updated 2 years ago
• matematikaadit / jombloforth

  View on GitHub
  Minimal FORTH interpreter for 64-bit Linux systems. Based on jonesforth.
  ☆28Mar 26, 2019Updated 6 years ago
• siraben / meta-II

  View on GitHub
  META II compiler, assembler and bytecode interpreter.
  ☆18Jan 20, 2026Updated last month
• cosmicoptima / birdwatch

  View on GitHub
  Twitter scraping library
  ☆11Nov 11, 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
• Octachron / phantom_algebra

  View on GitHub
  Small tensor library a la GLSL
  ☆17Oct 28, 2022Updated 3 years ago
• asolove / Sketchpad

  View on GitHub
  A recreation of Ivan Sutherland's Sketchpad, for the web.
  ☆33Aug 20, 2024Updated last year
• revaldinho / opc

  View on GitHub
  One Page CPU Project - CPU, Assembler & Emulator each in a single page of code
  ☆83Jul 11, 2024Updated last year
• HParker / dotal

  View on GitHub
  Dotal Language
  ☆47Nov 22, 2022Updated 3 years ago
• rlepigre / ocaml-earley

  View on GitHub
  Parsing library based on Earley Algorithm
  ☆18Jun 11, 2025Updated 8 months ago
• Soonad / Base.fm

  View on GitHub
  Standard library for the Formality language
  ☆18Mar 22, 2020Updated 5 years ago
• xms0g / tinysexp

  View on GitHub
  Lisp compiler for x86-64
  ☆36Jan 30, 2026Updated last month
• melvinzhang / binary-lambda-calculus

  View on GitHub
  For exploring http://www.ioccc.org/2012/tromp/hint.html
  ☆35Aug 2, 2017Updated 8 years ago
• zserge / lc3-forth

  View on GitHub
  Post-Apocalyptic Computing: bootstrapping Forth environment for LC-3 CPU
  ☆92Aug 5, 2022Updated 3 years ago
• tromp / AIT

  View on GitHub
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆198Feb 16, 2026Updated 2 weeks ago
• bellinitte / uxntal-vscode

  View on GitHub
  Uxntal support for Visual Studio Code
  ☆18Sep 19, 2025Updated 5 months ago
• fjames86 / flisp

  View on GitHub
  A Scheme-like Lisp interpreter that can also run as an operating system
  ☆20Aug 17, 2013Updated 12 years ago
• ctford / goldberg

  View on GitHub
  The Goldberg Variations in Overtone
  ☆100Aug 12, 2013Updated 12 years ago
• glossopoeia / boba

  View on GitHub
  A general purpose statically-typed concatenative programming language.
  ☆56Apr 28, 2023Updated 2 years ago
• aardappel / restructor

  View on GitHub
  Restructor Prototype
  ☆21Jun 10, 2017Updated 8 years ago
• nojb / ocaml-obj-printer

  View on GitHub
  ☆21Mar 6, 2019Updated 7 years ago
• kragen / dercuano

  View on GitHub
  a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…
  ☆15Dec 29, 2021Updated 4 years ago
• guenchi / NumPy

  View on GitHub
  NumPy for Chez Scheme
  ☆19Oct 2, 2020Updated 5 years ago
• jhbadger / xlispstat

  View on GitHub
  Luke Tierney's Xlispstat statistical environment
  ☆18Jan 17, 2016Updated 10 years ago
• janestreet / ppx_custom_printf

  View on GitHub
  Printf-style format-strings for user-defined string conversion
  ☆23Jan 15, 2026Updated last month