Skip to content
#

refal

Star

Here are 25 public repositories matching this topic...

Language: All
Filter by language
All 25 C 11 C++ 3 Python 3 HTML 2 Rust 2 Batchfile 1 JavaScript 1
Sort: Most stars
Sort options
Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

NancySadkov / symta

Star 8

Symta is a list-processing Lisp dialect inspired by REFAL, POP-11, and MIT PLANNER, designed for extreme conciseness. It bundles forward/backward pattern matching, macros, classic OOP and ECS, and a C FFI in one tight syntax. A self-hosted compiler emits AOT bytecode for a small generational-GC runtime on Windows, macOS, and Linux.

programming-language lisp compiler functional-programming pattern-matching ffi macros ecs self-hosting symbolic-computation bytecode-compiler homoiconic terse-syntax list-processing concise refal ai-ready dual-license dynamic-language generational-gc
  • Updated Aug 5, 2026

Abhinav-Rust / REFAL-SUPERSYSTEM

Star 4

Valentin Turchin's four-layer Refal supersystem, in Rust: a self-hosting Refal-5 compiler that drives (supercompilation over a graph of states), a reflection engine and a meta-prover. Metacomputation, term rewriting, partial evaluation, the Futamura projections -- each measured against Turchin's own papers.

rust compiler theorem-proving cybernetics self-hosting formal-verification symbolic-computation term-rewriting homoiconic program-transformation partial-evaluation refal supercompilation compiler-generator refal-5 futamura-projections metacomputation metasystem-transition valentin-turchin principia-cybernetica
  • Updated Oct 9, 2026
  • Rust

Add this topic to your repo

To associate your repository with the refal topic, visit your repo's landing page and select "manage topics."

Learn more