Simple timetabling engine for schools
☆30Jul 12, 2024Updated last year
Alternatives and similar repositories for simsttab
Users that are interested in simsttab are comparing it to the libraries listed below
Sorting:
- Reason about Bitcoin addresses with Prolog☆23Mar 17, 2024Updated last year
- a reasonably fast syntax highlighter☆14Aug 5, 2025Updated 6 months ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- Boolean Constraint Solving in Prolog☆48Dec 8, 2024Updated last year
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆12Jan 12, 2021Updated 5 years ago
- Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'☆20May 26, 2020Updated 5 years ago
- A small library that lets you know whether a component is visible on screen or not.☆15Jan 3, 2023Updated 3 years ago
- More open source 4/4 beats for the peoples☆24Jun 16, 2022Updated 3 years ago
- Work in progress pure python dhall interpreter☆27Dec 23, 2018Updated 7 years ago
- The Mobile Scripting Language☆56Nov 25, 2015Updated 10 years ago
- DocLog builds documentation from source code in Prolog☆33Jan 5, 2026Updated last month
- Advent of Code 2018 Solutions☆37Nov 14, 2019Updated 6 years ago
- A tutorial for DCG's in swi-Prolog☆35Feb 8, 2021Updated 5 years ago
- Web Framework for SWI-Prolog☆43Dec 23, 2015Updated 10 years ago
- The open-source repo for docs.github.com☆14Aug 5, 2024Updated last year
- A template repository for enterprise and organization-level Copilot custom agents.☆22Oct 31, 2025Updated 4 months ago
- Material for my React Fundamentals Workshop☆15Dec 27, 2022Updated 3 years ago
- Automatically exported from code.google.com/p/andrews-deal☆10Sep 16, 2022Updated 3 years ago
- A modern Prolog implementation written mostly in Rust.☆12Jan 18, 2026Updated last month
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆33Feb 16, 2026Updated last week
- Bidirectional JSON serialization☆40Mar 21, 2021Updated 4 years ago
- Scripts, configs, and binaries to assemble the custom firmware image☆10Apr 4, 2023Updated 2 years ago
- A Starter Template for SWI-Prolog Projects☆10Jun 1, 2020Updated 5 years ago
- ☆22Feb 19, 2026Updated last week
- ☆11Apr 11, 2024Updated last year
- A repository to review the main concepts about Functional Programming with Java☆10Feb 16, 2026Updated last week
- This implementation automates reporting to verify compliance with GC Cloud Guardrails. SSC and TBS review the results. Cette mise en œuvr…☆14Feb 20, 2026Updated last week
- This Birthday Wishing Platform is a Serious Business Implementation of Critical Birthday-Wishing Infrastructure made by Serious Businessp…☆13Dec 16, 2024Updated last year
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- Library for distance measurements☆12Mar 1, 2023Updated 2 years ago
- 2nd place project (Modern Ads) of the ICT9 challenge competition. Backend micro service.☆10Sep 21, 2024Updated last year
- Series of Geometry Nodes that automatically wraps curves around complex topologies☆12Nov 23, 2024Updated last year
- Tools to support cloud guardrails implementation and compliance checks for AWS.☆14Jan 9, 2020Updated 6 years ago
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Dec 11, 2020Updated 5 years ago
- A Prolog library to connect to PostgreSQL databases☆107May 1, 2024Updated last year
- A self hosting Extended brainfuck to pure brainfuck compiler☆11May 6, 2018Updated 7 years ago
- A simple Dyalog APL IDE plugin that introduces "projects" and allows you to keep your source code in Unicode text files.☆12Mar 15, 2022Updated 3 years ago
- ☆13Dec 31, 2025Updated last month
- Programs for computing beautiful pictures and animations of zeroes of polynomials.☆14Aug 14, 2024Updated last year