Alternatives and similar repositories for Opal

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

• kprotty / lazer

  View on GitHub
  A programming language focused on concurrency and low memory usage
  ☆12Apr 29, 2019Updated 6 years ago
• exists-forall / nickel

  View on GitHub
  A safe and efficient target language for functional compilers
  ☆20May 5, 2018Updated 7 years ago
• vijaymathew / slogan

  View on GitHub
  A general purpose, dynamic, functional programming language with strong support for concurrency.
  ☆33Dec 16, 2021Updated 4 years ago
• ice1000 / agda-mode

  View on GitHub
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆28Nov 12, 2025Updated 3 months ago
• cgswords / rsc

  View on GitHub
  Rust-based Scheme Compiler, written in the Nanopass style
  ☆12Jun 12, 2018Updated 7 years ago
• NicolaLancellotti / cherry

  View on GitHub
  🍒 Cherry programming language 🍒
  ☆13Sep 18, 2024Updated last year
• darius / elv

  View on GitHub
  A very basic Lisp + Erlang-style processes, on a virtual machine
  ☆10Aug 24, 2016Updated 9 years ago
• Techno-coder / lexica

  View on GitHub
  Reversible programming language
  ☆12Dec 7, 2019Updated 6 years ago
• WilliamBundy / wiggle

  View on GitHub
  A one-stop font atlas generator
  ☆14Jan 27, 2018Updated 8 years ago
• proglang / ldgv

  View on GitHub
  Label dependent dependent session types
  ☆16May 2, 2024Updated last year
• gnois / luaty

  View on GitHub
  Lua with more or less typing. You type less; we type check.
  ☆14Jan 1, 2026Updated last month
• TheDan64 / limonite

  View on GitHub
  [WIP] Compiler for the Limonite programming language.
  ☆14Jul 7, 2022Updated 3 years ago
• lee-naish / Pawns

  View on GitHub
  Pawns functional/imperative programming language compiler etc
  ☆11Apr 16, 2025Updated 9 months ago
• catseye / Tamsin

  View on GitHub
  MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish lister
  ☆18Nov 1, 2023Updated 2 years ago
• artagnon / vsfstar

  View on GitHub
  🦅 VSCode extension for F* with IDE features
  ☆16Mar 21, 2020Updated 5 years ago
• henrikurms / tail2futhark

  View on GitHub
  ☆19Sep 3, 2018Updated 7 years ago
• barak / oaklisp

  View on GitHub
  An object-oriented dialect of Scheme
  ☆61Jan 11, 2026Updated last month
• alox-ai / alox-old

  View on GitHub
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Jun 21, 2023Updated 2 years ago
• rain-1 / tarot-compiler

  View on GitHub
  ☆18Aug 20, 2019Updated 6 years ago
• ericfinster / orchard

  View on GitHub
  Orchard Opetopic Proof Assistant
  ☆29May 2, 2016Updated 9 years ago
• sacado / arc2c

  View on GitHub
  Arc Lisp to C compiler
  ☆33Aug 13, 2008Updated 17 years ago
• alexandermburke / FiveNightsAtFreddys

  View on GitHub
  The official Github Repo and Download for the FNAF Mod
  ☆10Nov 10, 2015Updated 10 years ago
• andrewchambers / qc

  View on GitHub
  quick c
  ☆35Mar 19, 2022Updated 3 years ago
• joewillsher / Vist

  View on GitHub
  The Vist programming language
  ☆14Feb 21, 2017Updated 8 years ago
• kwanghoon / polyrpc

  View on GitHub
  PolyRPC, A multi-tier functional programming language
  ☆20Oct 4, 2022Updated 3 years ago
• DuckLogic / zerogc

  View on GitHub
  Zero overhead tracing garbage collection for rust (WIP)
  ☆50Jun 30, 2024Updated last year
• tatsy / FastTranslucentShader

  View on GitHub
  Fast translucent object rendering with GLSL.
  ☆21Jul 10, 2016Updated 9 years ago
• wenkokke / idris-sesh

  View on GitHub
  Session types in Idris2!
  ☆27Dec 14, 2020Updated 5 years ago
• cdiggins / heron-language

  View on GitHub
  A pure functional type-inferred language based on JavaScript
  ☆58May 7, 2023Updated 2 years ago
• corwin-mcknight / Cedille

  View on GitHub
  A kernel with a purpose - to keep most of the code out of the kernel
  ☆15Jun 30, 2019Updated 6 years ago
• bsc-s2 / lua-acid

  View on GitHub
  A collection of lua util functions
  ☆20Jul 16, 2025Updated 6 months ago
• xy-kasumi / hs2bf

  View on GitHub
  Haskell to brainfuck compiler
  ☆31May 11, 2014Updated 11 years ago
• catseye / ALPACA

  View on GitHub
  MIRROR of https://codeberg.org/catseye/ALPACA : A Language for the Pithy Articulation of Cellular Automata
  ☆23Oct 27, 2023Updated 2 years ago
• vsl-lang / VSL

  View on GitHub
  ✏️ VSL: Versatile, Safe, Language
  ☆22Aug 4, 2019Updated 6 years ago
• GeorgeKT / menhir-lang

  View on GitHub
  Experiments with llvm to create a toy programming language
  ☆25Nov 30, 2024Updated last year
• ZoeB / steg

  View on GitHub
  Convert ASCII messages into sine waves
  ☆22Apr 10, 2018Updated 7 years ago
• darrenks / golfscript

  View on GitHub
  A simple stack based code golf language
  ☆26Sep 14, 2022Updated 3 years ago
• tschuett / mlir-rustc

  View on GitHub
  Experimental MLIR Rust compiler
  ☆28Sep 3, 2023Updated 2 years ago
• Fedjmike / tush

  View on GitHub
  ☆23Apr 9, 2016Updated 9 years ago