☆27Dec 31, 2021Updated 4 years ago
Alternatives and similar repositories for lambda-calculus-game
Users that are interested in lambda-calculus-game are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A representation of latitude and longitude☆15Nov 25, 2019Updated 6 years ago
- TIS-100 solutions☆16Apr 18, 2019Updated 7 years ago
- Simply typed lambda calculus demo for Lambda Jam 2014☆11Aug 2, 2014Updated 12 years ago
- (unmaintained) A discrete FRP DSL for describing better build pipelines.☆22Aug 4, 2017Updated 9 years ago
- Build a GHC which produces shared libraries without runtime Haskell dependencies☆10Jan 23, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- DrScala - A doctor for your code☆17Mar 17, 2014Updated 12 years ago
- ☆10Jul 24, 2025Updated last year
- ☆10Sep 22, 2017Updated 9 years ago
- 👁️ Isometric 3D Graphing / Rendering module for Haskell☆15Sep 2, 2017Updated 9 years ago
- Wave function collapse procedural generation for arbitrary graphs☆17Nov 4, 2019Updated 6 years ago
- MOVED to code.netzhansa.com/hanshuebner/secd. This GitHub mirror is archived.☆36Nov 13, 2019Updated 6 years ago
- conceptual organised data have a look to understand http://active-memory.de:2323☆15Apr 21, 2015Updated 11 years ago
- Pretty printer of Scala☆20Oct 21, 2020Updated 6 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆36Aug 2, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Z-IX: Zentralwerk Intranet Exchange☆16Apr 25, 2021Updated 5 years ago
- ☆11Sep 25, 2019Updated 7 years ago
- Encode random bitstrings as pseudo-random poems☆13Jun 15, 2014Updated 12 years ago
- ☆11Apr 10, 2024Updated 2 years ago
- An IRC bot that tries to support multiple languages☆22Jun 5, 2017Updated 9 years ago
- Roy plugin for Play 2.0☆12Nov 27, 2012Updated 13 years ago
- Continuation-passing style and closure conversion transforms for r6rs scheme.☆13Sep 5, 2011Updated 15 years ago
- HC-256 Stream cipher in x86 assembly☆19Nov 14, 2017Updated 8 years ago
- ☆28Jun 3, 2018Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Learing the Red language: links, examples and practice☆16Oct 6, 2016Updated 10 years ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆117May 13, 2017Updated 9 years ago
- Flashup format flashcards for public consumption☆12Aug 1, 2011Updated 15 years ago
- Parser in Java for Lisp S-expressions.☆14Apr 24, 2026Updated 6 months ago
- Form Markup Language☆17Jun 21, 2018Updated 8 years ago
- Elixir Mini Conf - 15 de Outubro de 2016 - São Paulo☆10Mar 16, 2016Updated 10 years ago
- ☆12Jan 5, 2015Updated 11 years ago
- A simple Lisp implementation written in TypeScript(earlier version)☆10Jul 11, 2017Updated 9 years ago
- Exercises designed specifically to demonstrate parametricity☆28May 8, 2014Updated 12 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Central repository for managing the implementation of InSynth and Scala IDE integration.☆12Nov 14, 2017Updated 8 years ago
- Easily switch toggle to light and dark theme for your Docsify, customizable and works in any CSS themes.☆11Jul 13, 2025Updated last year
- Lava Jato - The Game (tales of corruption)☆32Feb 27, 2019Updated 7 years ago
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆54Apr 23, 2026Updated 6 months ago
- event site for the northeast scala symposium☆11Dec 16, 2015Updated 10 years ago
- Introduction to PureScript materials.☆31May 24, 2017Updated 9 years ago
- Small Scheme interpreter and compiler☆14Feb 15, 2016Updated 10 years ago