👨🏻🎓 Playground for learning programming languages
☆27Mar 30, 2025Updated last year
Alternatives and similar repositories for playground
Users that are interested in playground are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple roguelike set in space☆12Sep 13, 2017Updated 9 years ago
- An image-processing library for Haskell.☆10Mar 26, 2016Updated 10 years ago
- Experimental haskell Game☆12Nov 14, 2014Updated 11 years ago
- Small games, experiments, and notes on (Haskell) game development.☆11Feb 27, 2023Updated 3 years ago
- A cross-platform Haskell/Sodium/OpenGL game engine☆25Dec 18, 2013Updated 12 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 8 months ago
- Visualization of Haskell data structures☆16Feb 13, 2024Updated 2 years ago
- ☆10May 3, 2017Updated 9 years ago
- Given a sample of JSON, derive an API☆14Apr 17, 2014Updated 12 years ago
- A simple parser combinator library for Ocaml☆30Aug 21, 2021Updated 5 years ago
- A Genetic Algorithm library in Haskell☆20Nov 11, 2018Updated 7 years ago
- Working through Type-Driven Development with Idris☆27Sep 7, 2016Updated 10 years ago
- Haskell counters that can be safely incremented from multiple threads☆19Oct 7, 2025Updated last year
- This repository is now obsolete☆11Sep 29, 2012Updated 14 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- A simple implementation of linear type theory☆40Apr 21, 2017Updated 9 years ago
- https://youtu.be/40cvevHg0J8☆12Jul 19, 2020Updated 6 years ago
- Synthetic Differential Geometry in Agda☆13Jan 14, 2015Updated 11 years ago
- ☆19Oct 8, 2017Updated 9 years ago
- Experimenting with kernel density estimation and (soft) histograms using tensorflow data flow graphs.☆10Dec 28, 2017Updated 8 years ago
- ☆10Apr 2, 2023Updated 3 years ago
- quadcopter controlled by raspberry Pi☆17Jan 4, 2015Updated 11 years ago
- Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML☆60Apr 18, 2011Updated 15 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- self-driven RC Car project using a Raspberry Pi, an Adafruit 16-channel PWM ESC/Servo driver, based on wiringPi☆19Jul 14, 2014Updated 12 years ago
- Reference counting with linear types☆32Feb 14, 2026Updated 8 months ago
- Notes and exercises from Mathematical Logic, 2nd ed. by Ebbinghaus☆13Sep 19, 2016Updated 10 years ago
- Some personal TeX packages☆13Feb 29, 2020Updated 6 years ago
- Dana - a purely functional (virtual) operating system☆16Jul 6, 2009Updated 17 years ago
- Lennart Augustsson's lamda cube☆12Jul 13, 2016Updated 10 years ago
- A Common Lisp feature to list disks with command line tool df(Linux/Mac) or GetLogicalDrives(Windows), and get disk space information usi…☆13Dec 10, 2020Updated 5 years ago
- I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.☆18Jan 5, 2015Updated 11 years ago
- This repository is deprecated. The extension has moved to https://github.com/jupyterlab/jupyter-renderers☆13Apr 28, 2017Updated 9 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.
- LISP INTERPRETER and TEXT EDITOR☆22Jul 12, 2024Updated 2 years ago
- Dependently-typed finite maps (partial dependent products)☆66Oct 19, 2025Updated last year
- Unofficial Scala worksheet examples to accompany the Coursera Reactive Programming course☆51Nov 4, 2014Updated 11 years ago
- Code to accompany the course Understanding Re-frame on PurelyFunctional.tv https://purelyfunctional.tv/courses/understanding-re-frame/☆14Aug 26, 2022Updated 4 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 7 years ago
- A utility that removes fog and haze from images☆10Mar 24, 2015Updated 11 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆57Apr 23, 2017Updated 9 years ago