Roguelike for 7DRL make in Elm
☆30Jan 25, 2016Updated 10 years ago
Alternatives and similar repositories for CastleOfElm
Users that are interested in CastleOfElm are comparing it to the libraries listed below
Sorting:
- microKanren sagittarius/larceny☆11Jun 13, 2015Updated 10 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆24May 28, 2025Updated 9 months ago
- experimental computational medium and supporting tools☆23Updated this week
- software archaeology of reflective towers of interpreters☆17Jun 6, 2025Updated 8 months ago
- Explainable machine learning☆17Mar 17, 2019Updated 6 years ago
- A CSV File containing the *complete* (as of October 2017) list of UK Postcodes and corresponding Latitude / Longitude Coordinates for ge…☆15Dec 5, 2017Updated 8 years ago
- Mechanization of Hazelnut, as submitted to POPL 2017☆16Nov 24, 2021Updated 4 years ago
- Human vs computer chess game entirely in Elm☆44May 7, 2022Updated 3 years ago
- ☆21Jan 8, 2021Updated 5 years ago
- Reading schedule and our library of pdfs☆24Apr 29, 2019Updated 6 years ago
- MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.☆23Oct 25, 2023Updated 2 years ago
- Would it be better to use the Set-Cookie header?☆20Dec 19, 2016Updated 9 years ago
- Simple lambda prover☆24Jul 6, 2015Updated 10 years ago
- Provides a type-safe way of working with permutations in Idris☆37Oct 3, 2021Updated 4 years ago
- Folk dance event information.☆10Updated this week
- A Racket library for interacting with Idris over the IDE protocol☆31Nov 10, 2017Updated 8 years ago
- A library that allows you to "tag" a value with a specific type for compile time verification.☆34Aug 29, 2018Updated 7 years ago
- Example of how to do an Elm native module☆35Feb 6, 2018Updated 8 years ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Updated this week
- Expert system with deductive querying and verification of constraints expressed in natural language☆23Feb 15, 2026Updated 2 weeks ago
- ☆13Sep 11, 2024Updated last year
- Kanren with databases☆44Jul 30, 2024Updated last year
- A modern Prolog implementation written mostly in Rust.☆12Jan 18, 2026Updated last month
- City, University of London BestEvidence app☆11Nov 26, 2018Updated 7 years ago
- Software Engineer's Bootcamp: Developing AI Applications☆12Jun 3, 2025Updated 9 months ago
- SDS011 pollution sensor + Wemos D1 mini pro + Micropython☆13Jul 11, 2017Updated 8 years ago
- Flow field pathfinding in rust☆13Sep 29, 2019Updated 6 years ago
- Build virtual tree elements with magic attributes☆11Oct 10, 2018Updated 7 years ago
- shorter shattered pd☆10Aug 30, 2025Updated 6 months ago
- ☆13Apr 11, 2023Updated 2 years ago
- an app to find tech for good events near you☆11Jan 9, 2018Updated 8 years ago
- 🪪 Software per l'utilizzo della Carta d'Identità Elettronica Italiana - Accesso ai servizi della PA, firma e verifica di documenti 🇮�…☆15Feb 12, 2026Updated 2 weeks ago
- ☆13Jan 20, 2021Updated 5 years ago
- a lightweight square grid map system for 2D/3D SRPG games in Unity.☆15Jan 2, 2023Updated 3 years ago
- "Infinite" Pong with Two Balls in Jai Compiled to Wasm64☆12Dec 12, 2024Updated last year
- ☆12Updated this week
- Epic - a Supercombinator Compiler☆64Jun 12, 2015Updated 10 years ago
- Automated Telegram chat statistics by treating them as IRC channels☆14Nov 13, 2016Updated 9 years ago