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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• moon-chilled / j

  View on GitHub
  various toys in j
  ☆12Apr 13, 2022Updated 3 years ago
• 8l / pilos

  View on GitHub
  PilOS - A Stand-Alone Operating System
  ☆14Aug 1, 2017Updated 8 years ago
• siraben / meta-II

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

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

  View on GitHub
  Sokoban game implementation on elm language
  ☆13Jan 4, 2017Updated 9 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
• csabahruska / demoscene

  View on GitHub
  Demoscene: Lambda Team
  ☆20Jun 18, 2019Updated 6 years ago
• jasontrigg0 / pawk

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

  View on GitHub
  A deterministic Bitcoin wallet generator for the command line
  ☆26May 20, 2022Updated 3 years ago
• ocharles / hs-quake-3

  View on GitHub
  Quake 3 map viewer written in Haskell
  ☆35Apr 18, 2017Updated 8 years ago
• sternenseemann / gopher-proxy

  View on GitHub
  relay http requests to a gopher server
  ☆13Jul 14, 2025Updated 8 months ago
• joneshf / purescript-lens-examples

  View on GitHub
  ☆12Jan 5, 2015Updated 11 years ago
• pa-ba / Rattus

  View on GitHub
  A modal FRP language embedded in Haskell.
  ☆14Oct 16, 2023Updated 2 years ago
• robrix / tilec

  View on GitHub
  Sometimes when I feel sad I implement a dependently typed lambda calculus.
  ☆15Mar 26, 2020Updated 6 years ago
• dhilst / lis.py

  View on GitHub
  Small lisp interpreter in Python
  ☆10Apr 23, 2022Updated 3 years ago
• Wordpress hosting with auto-scaling on Cloudways • Ad
  Fully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
• FransFaase / MES-replacement

  View on GitHub
  Investigation into replacing the MES compiler
  ☆30Mar 25, 2026Updated 2 weeks ago
• aslatter / xhb

  View on GitHub
  ☆12Aug 2, 2015Updated 10 years ago
• phadej / latex-svg

  View on GitHub
  Render LaTeX math to SVG mages
  ☆18Mar 25, 2024Updated 2 years ago
• toschoo / mom

  View on GitHub
  Message-oriented Middleware for Haskell
  ☆23Dec 27, 2020Updated 5 years ago
• dvanhorn / ubik

  View on GitHub
  Small Scheme interpreter and compiler
  ☆14Feb 15, 2016Updated 10 years ago
• parsecsv / csv-spec

  View on GitHub
  An attempt to create a informal CSV-like format specification complete with input/output test files for use by library developers.
  ☆14Jun 29, 2018Updated 7 years ago
• WhatTheFunctional / HaskellAdventure

  View on GitHub
  Interactive fiction written in Haskell
  ☆13Sep 25, 2018Updated 7 years ago
• mschuldt / ga144

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

  View on GitHub
  Efficient and single-steppable ULC evaluation algorithm
  ☆15Jun 1, 2021Updated 4 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
• snarfed / facebook-atom

  View on GitHub
  Brings your Facebook news feed to your feed reader!
  ☆31Apr 15, 2023Updated 2 years ago
• spell-music / csound-catalog

  View on GitHub
  A gallery of csound instruments
  ☆17Oct 28, 2021Updated 4 years ago
• bmwiedemann / ddcpoc

  View on GitHub
  a proof-of-concept of a diverse double compilation
  ☆13Feb 10, 2026Updated 2 months ago
• jocap / rich.vim

  View on GitHub
  visual rich text formatting for plain text files
  ☆15Aug 2, 2020Updated 5 years ago
• noteed / smallpt-hs

  View on GitHub
  A Haskell port of the C++ smallpt path tracer
  ☆16Dec 14, 2020Updated 5 years ago
• aaronallen8455 / inventory

  View on GitHub
  Haskell project statistics and definition analysis
  ☆15Mar 17, 2023Updated 3 years ago
• ibara / LiteBSD-Ports

  View on GitHub
  The LiteBSD ports tree.
  ☆18Jan 21, 2018Updated 8 years ago
• yourtion / LearningFunctionalProgramming

  View on GitHub
  《Scala与Clojure函数式编程模式：Java虚拟机高效编程》学习代码记录
  ☆12Apr 12, 2017Updated 8 years ago
• ibara / shuf

  View on GitHub
  ISC licensed reimplementation of GNU shuf.
  ☆18May 4, 2020Updated 5 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• oriansj / stage0-posix-x86

  View on GitHub
  ☆14Mar 4, 2026Updated last month
• ixaxaar / monoid.space

  View on GitHub
  Learn pure math with agda
  ☆16Oct 18, 2025Updated 5 months ago
• fizruk / free-agent

  View on GitHub
  A general framework for multi-agent systems. An agent-environment interface is abstracted with a free monad.
  ☆16Jan 12, 2018Updated 8 years ago
• wkolowski / Typonomikon

  View on GitHub
  Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.
  ☆12Aug 23, 2025Updated 7 months ago
• vlasenkov / Denga

  View on GitHub
  Haskell trading framework.
  ☆11Apr 3, 2016Updated 10 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
• chinmayHundekari / optionMath

  View on GitHub
  A collection of option trading related utilities
  ☆14Jul 28, 2013Updated 12 years ago