lambda-fairy/sylvia 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

lambda-fairy/sylvia

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/lambda-fairy/sylvia)

Close

lambda-fairy / sylviaView on GitHubMore

• External links
• Readme badge

Logic puzzle game based on the lambda calculus

☆20Nov 9, 2012Updated 13 years ago

Alternatives and similar repositories for sylvia

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

• 8l / pilos

  View on GitHub
  PilOS - A Stand-Alone Operating System
  ☆14Aug 1, 2017Updated 8 years ago
• moon-chilled / j

  View on GitHub
  various toys in j
  ☆12Apr 13, 2022Updated 3 years ago
• siraben / meta-II

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

  View on GitHub
  the Meta-II VM in C
  ☆21Aug 16, 2015Updated 10 years ago
• mschuldt / ga144

  View on GitHub
  Compiler, loader, and simulator for the GA144 multi-computer chip
  ☆34Feb 20, 2019Updated 7 years ago
• apotonick / trb-cart

  View on GitHub
  Shopping cart app with Trailblazer.
  ☆10Aug 7, 2016Updated 9 years ago
• haskell-servant / servant-quickcheck

  View on GitHub
  ☆39Apr 22, 2024Updated last year
• ocharles / hs-quake-3

  View on GitHub
  Quake 3 map viewer written in Haskell
  ☆35Apr 18, 2017Updated 8 years ago
• yrashk / strokedb

  View on GitHub
  StrokeDB is an embeddable distributed document database written in Ruby
  ☆86Aug 20, 2010Updated 15 years ago
• MirkoMignini / telegram_bot_middleware

  View on GitHub
  Rack middleware to communicate with a telegram bot.
  ☆10Apr 17, 2018Updated 7 years ago
• vlasenkov / Denga

  View on GitHub
  Haskell trading framework.
  ☆11Apr 3, 2016Updated 9 years ago
• dhilst / lis.py

  View on GitHub
  Small lisp interpreter in Python
  ☆10Apr 23, 2022Updated 3 years ago
• fukuroder / intfft

  View on GitHub
  Integer FFT(Fast Fourier Transform) in Python
  ☆13Nov 14, 2023Updated 2 years ago
• tompi / vonreg

  View on GitHub
  ☆11Jun 18, 2024Updated last year
• jasontrigg0 / pawk

  View on GitHub
  Awk-like tool using python
  ☆11Aug 4, 2020Updated 5 years ago
• osnr / dewdrop

  View on GitHub
  NeWS clone (very work in progress).
  ☆11Oct 25, 2016Updated 9 years ago
• upupming / arithmetic-coding

  View on GitHub
  Arithmetic coding algorithm implemented in Node.js, both API and CLI support. 算术编码 npm 包，支持 API 调用和 CLI。
  ☆11Mar 31, 2019Updated 6 years ago
• rom-rb / rom-event_store

  View on GitHub
  Event Store support for Ruby Object Mapper
  ☆10Feb 10, 2016Updated 10 years ago
• Embrace-clarity / clarity-device

  View on GitHub
  Decentralised communication device
  ☆11Mar 17, 2019Updated 6 years ago
• mmport80 / Lazy-Backesting-IDE

  View on GitHub
  Backtest Investment Strategies in your Browser
  ☆10Jan 5, 2016Updated 10 years ago
• evanhackett / META-II

  View on GitHub
  A mostly FP implementation of Schorre's "syntax-oriented compiler writing language"
  ☆13Mar 21, 2019Updated 6 years ago
• oanda / simple-rates-panel

  View on GitHub
  Javascript program that displays an updating quote panel for any currency pair using the OANDA REST API.
  ☆16Jul 27, 2016Updated 9 years ago
• joneshf / purescript-lens-examples

  View on GitHub
  ☆12Jan 5, 2015Updated 11 years ago
• soxfox42 / tak

  View on GitHub
  tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)
  ☆14Oct 24, 2025Updated 4 months ago
• ccxvii / djvudec

  View on GitHub
  https://codeberg.org/ccxvii/djvudec
  ☆14Aug 13, 2025Updated 6 months ago
• pablomarx / lisp6800

  View on GitHub
  S. Tucker Taft's M6800 LISP Interpreter (BYTE August 1979)
  ☆14Jan 15, 2024Updated 2 years ago
• Noxime / nihongo

  View on GitHub
  A working and hopefully fast SUBLEQ emulator to run DawnOS
  ☆11Sep 19, 2019Updated 6 years ago
• dhuseby / git-remote-gemini

  View on GitHub
  A Git remote helper to do basic cloning of repos from a Gemini server.
  ☆11Oct 8, 2023Updated 2 years ago
• EpicGazel / ZpaqTreeView

  View on GitHub
  Allows browsing and extraction of a zpaqfranz archive in a tree/hierarchical file structure view.
  ☆13Oct 28, 2024Updated last year
• ghitchens / nerves-elixir-trivial

  View on GitHub
  Trivial sample for building Elixir apps using Nerves
  ☆15Sep 26, 2014Updated 11 years ago
• rubyheroes / rubyheroes.com

  View on GitHub
  The Ruby Hero Awards recognize everyday heroes of the Ruby community.
  ☆11Aug 3, 2021Updated 4 years ago
• sternenseemann / gopher-proxy

  View on GitHub
  relay http requests to a gopher server
  ☆13Jul 14, 2025Updated 7 months ago
• aslatter / xhb

  View on GitHub
  ☆12Aug 2, 2015Updated 10 years ago
• Sreekesh92 / rp2040_xip_cache

  View on GitHub
  ☆12Jun 13, 2023Updated 2 years ago
• carld / lispkit

  View on GitHub
  FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7
  ☆53Feb 17, 2024Updated 2 years ago
• jodosha / minegems

  View on GitHub
  Private gem hosting deployable on Heroku
  ☆72Nov 3, 2013Updated 12 years ago
• JohannesKnop / ORCAFiles

  View on GitHub
  My Orca Patches
  ☆12Dec 10, 2018Updated 7 years ago
• FaridZelli / Toggley

  View on GitHub
  Light/Dark mode toggle button for Firefox 🦊
  ☆13Nov 19, 2025Updated 3 months ago
• vatsjijj / titan

  View on GitHub
  The Titan programming language.
  ☆12Apr 16, 2024Updated last year