Alternatives and similar repositories for cora

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

• tiancaiamao / shen-go

  View on GitHub
  A Go implementation of the Shen programming language
  ☆61Nov 14, 2025Updated 3 months ago
• keyz / p423-compiler

  View on GitHub
  A Scheme to x86-64 compiler in Scheme
  ☆81May 4, 2015Updated 10 years ago
• tiancaiamao / yscheme

  View on GitHub
  a compiler from a subset of Scheme into X64
  ☆240Jul 29, 2019Updated 6 years ago
• tiancaiamao / go.blog

  View on GitHub
  我的博客的源代码
  ☆113Feb 6, 2026Updated last week
• tiancaiamao / yasfs

  View on GitHub
  some old code about scheme compiler I've ever wrote
  ☆14Jun 21, 2025Updated 7 months ago
• evilbinary / duck-os

  View on GitHub
  基于鸭子编译器写的os
  ☆22Oct 25, 2020Updated 5 years ago
• Yichou / libMrpoid

  View on GitHub
  mrpoid内核（依赖项目）
  ☆13Dec 23, 2013Updated 12 years ago
• LeifAndersen / nanopasstutorial

  View on GitHub
  ☆10Mar 13, 2016Updated 9 years ago
• nobutaka / nanopass

  View on GitHub
  Nanopass scheme compiler in scheme for x86
  ☆68Feb 2, 2017Updated 9 years ago
• GHolk / loco

  View on GitHub
  my dot file, and some personal command
  ☆14Jul 17, 2022Updated 3 years ago
• maoif / ChezScheme

  View on GitHub
  Chez Scheme
  ☆15Nov 2, 2025Updated 3 months ago
• pavenvivek / Compiler-for-Scheme

  View on GitHub
  The compiler for subset of scheme developed as part of P523
  ☆30Mar 6, 2017Updated 8 years ago
• evilbinary / duck-typescript

  View on GitHub
  A library for building cross-platform native desktop applications with TypeScript.
  ☆14Sep 2, 2019Updated 6 years ago
• sDessens / churchill-challange

  View on GitHub
  churchill-challange
  ☆13Feb 14, 2015Updated 11 years ago
• carld / compiler-tutorial

  View on GitHub
  Incremental Compiler paper by Abdulaziz Ghuloum, using Chez scheme, Nasm, x86_64 for OSX
  ☆63May 6, 2017Updated 8 years ago
• gwatt / chez-exe

  View on GitHub
  Chez Scheme self hosting executable
  ☆195Aug 9, 2024Updated last year
• doublequan / CStore-Lockfree-SIMD-Skiplist

  View on GitHub
  ☆13May 13, 2017Updated 8 years ago
• DanDLee / DreamScheme

  View on GitHub
  Dream Scheme interpreter by David Joseph Stith
  ☆16Jun 18, 2017Updated 8 years ago
• genbattle / rkm

  View on GitHub
  Generic k-means implementation written in Rust
  ☆16Feb 5, 2020Updated 6 years ago
• webyrd / miniKanren

  View on GitHub
  Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.
  ☆135Jan 15, 2015Updated 11 years ago
• becls / swish-win

  View on GitHub
  Swish Concurrency Engine for Windows
  ☆18Mar 12, 2021Updated 4 years ago
• Summerlve / Little-Racket

  View on GitHub
  Little Racket Interpreter
  ☆17Mar 21, 2020Updated 5 years ago
• risinglightdb / sqlplannertest-rs

  View on GitHub
  A yaml-based SQL planner test framework
  ☆27Dec 18, 2024Updated last year
• avsm / xen-minios

  View on GitHub
  Really mini operating system (extracted from xen-unstable, and much stuff removed)
  ☆193Mar 5, 2012Updated 13 years ago
• taiki45 / hs-vm

  View on GitHub
  Simple Virtual Machine written in Haskell
  ☆28May 10, 2014Updated 11 years ago
• kristianlm / small-lisp

  View on GitHub
  A very small lisp interpreter, that I may one day get working on my 8-bit AVR microcontroller.
  ☆57Aug 22, 2017Updated 8 years ago
• dibyendumajumdar / dmr_c

  View on GitHub
  dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends
  ☆56Oct 27, 2019Updated 6 years ago
• Second-Earth / setchain

  View on GitHub
  ☆12Jun 26, 2022Updated 3 years ago
• akeep / nanopass-framework

  View on GitHub
  The new nanopass framework; an embedded DSL for writing compilers in Scheme
  ☆324May 1, 2021Updated 4 years ago
• francis0407 / SQL-Engine-On-LSM

  View on GitHub
  A toy SQL engine built on top of LSM(LevelDB)
  ☆22Jun 28, 2019Updated 6 years ago
• evilbinary / duck-compiler

  View on GitHub
  🦆鸭子编译器
  ☆19Oct 25, 2020Updated 5 years ago
• dybvig / stex

  View on GitHub
  stex: stex to latex and latex to html converters and associated tools
  ☆93Dec 1, 2023Updated 2 years ago
• SmartPolarBear / clox

  View on GitHub
  A bytecode-virtual-machine-based interpreter for the lox language written in modern C++
  ☆27Feb 28, 2023Updated 2 years ago
• noelwelsh / assembler

  View on GitHub
  IA32 assembler in PLT Scheme
  ☆33Oct 14, 2010Updated 15 years ago
• larcenists / larceny

  View on GitHub
  Larceny Scheme implementation
  ☆209Sep 8, 2017Updated 8 years ago
• sunxiaoguang / kvs

  View on GitHub
  Structured Store over KV for demonstration
  ☆21Mar 8, 2019Updated 6 years ago
• IgneButene / XTouch-FLStudio

  View on GitHub
  Behringer X-Touch for FL Studio Script (based on FL Studio MCU implementation)
  ☆13Apr 19, 2024Updated last year
• liuzix / ticompile

  View on GitHub
  Explore JIT in TiDB
  ☆27Jan 8, 2022Updated 4 years ago
• appleby / Lisp-In-Small-Pieces

  View on GitHub
  Programs from the book Lisp in Small Pieces, updated to work on modern schemes
  ☆256Oct 9, 2020Updated 5 years ago