Tutorial materials for Ceptre.
☆14Nov 15, 2016Updated 9 years ago
Alternatives and similar repositories for ceptre-tutorial
Users that are interested in ceptre-tutorial are comparing it to the libraries listed below
Sorting:
- A collection of Kanren implementations in Julia☆24Oct 14, 2025Updated 5 months ago
- Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.☆287Aug 25, 2024Updated last year
- Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher☆11Mar 17, 2015Updated 11 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Sep 16, 2018Updated 7 years ago
- axml : forked (archived). Read/write AXML (AndroidManifest) file format.☆14Oct 13, 2020Updated 5 years ago
- Dream Scheme interpreter by David Joseph Stith☆16Jun 18, 2017Updated 8 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆24Feb 5, 2013Updated 13 years ago
- An Imperishable Wonderland of Infinite Fun☆13Apr 17, 2024Updated last year
- The General Mediation Engine (GME) is a software framework for producing interactive narratives using narrative mediation.☆10Feb 4, 2018Updated 8 years ago
- prototyping logic programming in Scala☆42Mar 25, 2022Updated 3 years ago
- Example 2D game for Unity3D with lighting effects and maze generation.☆11Apr 26, 2019Updated 6 years ago
- This is a binary of ECL (embeddable common lisp) and should run on an Android Phone (aarch64) under termux.☆18Jul 8, 2019Updated 6 years ago
- A demo built with the Unity General Mediation Engine (UGME), called Base Case.☆12Jan 20, 2017Updated 9 years ago
- An omnibus dataset of a variety of word-processing data, sized to be small enough for everyday use and students☆29Dec 17, 2021Updated 4 years ago
- Understanding game design inspiration of roguelike games via web scraping and network analysis.☆19Jul 2, 2020Updated 5 years ago
- Random bits of code by Ben☆19Updated this week
- Rust implementation of Ray Tracing in One Weekend☆12Jul 17, 2020Updated 5 years ago
- Graph Grammar Library☆26Jul 7, 2017Updated 8 years ago
- a numerical computing library for Clojure☆23Jan 30, 2018Updated 8 years ago
- Racket-based implementation of Adapton☆24Jun 29, 2019Updated 6 years ago
- A Python Toolchest to dissect historic data media☆18Mar 9, 2026Updated last week
- A typeclass and set of functions for working with newtypes.☆10May 19, 2022Updated 3 years ago
- A Graph Rewriting Tool for Plot Generation, uses Graph Grammars☆11Mar 3, 2014Updated 12 years ago
- The Inform6 interactive fiction standard library (moved to https://gitlab.com/DavidGriffith/inform6lib)☆22Jul 8, 2018Updated 7 years ago
- ☆11Oct 8, 2025Updated 5 months ago
- Provides examples as to how we might store, modify, and realize Rensa assertions in Python v2. Please get in touch if you'd like access …☆12Jun 18, 2017Updated 8 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆23Feb 17, 2015Updated 11 years ago
- Compressed double-array tries for static string dictionaries☆11May 9, 2019Updated 6 years ago
- Template repo for theorem proving in Liquid Haskell☆33Sep 19, 2018Updated 7 years ago
- A low- and high-level interface to mouse drag actions in Elm (up to version 0.16).☆27Sep 28, 2016Updated 9 years ago
- A mostly ISO-compliant Prolog interpreter for Unity3D☆36Jul 25, 2017Updated 8 years ago
- ☆19Jan 7, 2013Updated 13 years ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Dec 5, 2020Updated 5 years ago
- The Grand Scheme Glossary☆32May 29, 2025Updated 9 months ago
- The tiniest standalone script to make a window on MacOS☆12Jan 21, 2023Updated 3 years ago
- ☆18Jul 24, 2025Updated 7 months ago
- Effort to convert the RPG Design Patterns into a nice ePUB format☆16Jul 5, 2016Updated 9 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Apr 12, 2012Updated 13 years ago
- Leibniz Equality☆19Jun 7, 2018Updated 7 years ago