A Scheduling Problem in Prolog
☆13Feb 3, 2016Updated 10 years ago
Alternatives and similar repositories for Prolog-Scheduling-Problem
Users that are interested in Prolog-Scheduling-Problem are comparing it to the libraries listed below
Sorting:
- Terminal UI for Discourse forums☆14Mar 25, 2019Updated 6 years ago
- An OCaml extension for RISC-V☆16Nov 6, 2020Updated 5 years ago
- A little project exploring Forests in Northern Ireland☆16Apr 21, 2022Updated 3 years ago
- Blockchain Technology for the Working Mathematician☆24Jun 23, 2017Updated 8 years ago
- ReactiveML: a programming language for implementing interactive systems.☆20Nov 14, 2022Updated 3 years ago
- CS3100: Paradigms of Programming at CSE IITM (Fall 2019)☆19Apr 11, 2023Updated 2 years ago
- Master thesis on developing a static type checker for Erlang☆27Sep 30, 2018Updated 7 years ago
- Python based Vectorizing Framework☆20Updated this week
- Extension of nom to apply "Packrat Parsing"☆22Feb 3, 2025Updated last year
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆29Aug 30, 2022Updated 3 years ago
- Property-based testing at ease☆42Aug 15, 2021Updated 4 years ago
- Portable OCaml interface to macOS/Linux/Windows native IO event notification mechanisms☆30Jul 2, 2023Updated 2 years ago
- Clear My Record is a project to assist people the process of expunging their criminal convictions.☆10Nov 5, 2018Updated 7 years ago
- Algorithms to layout trees in a pretty manner.☆36Mar 7, 2022Updated 3 years ago
- ☆13Oct 5, 2025Updated 4 months ago
- A Rocket based JSON Web Token authentication server.☆32Jun 29, 2020Updated 5 years ago
- A lightweight netctl tray app with notifications☆30May 19, 2021Updated 4 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42May 29, 2021Updated 4 years ago
- tiny token-threaded bytecode interpreter in x86 assembly☆44Jun 26, 2009Updated 16 years ago
- Data Explorer Tool☆15Feb 4, 2020Updated 6 years ago
- A verified compiler for a lazy functional language☆39Feb 20, 2026Updated last week
- A curated list of literature and methods useful in leadership positions☆11Nov 20, 2023Updated 2 years ago
- Code for "Zero-Shot Out-of-Distribution Detection with Feature Correlations"☆13Jan 19, 2020Updated 6 years ago
- A coroutine runtime for native luasocket code☆10Jan 16, 2025Updated last year
- ☆16Jan 30, 2026Updated last month
- A small spreadsheet demo in Rust, Yew, and WASM☆11Jun 16, 2023Updated 2 years ago
- Python GUI for differential forms☆12Oct 14, 2023Updated 2 years ago
- Marimekko and bar mekko graphics in R☆10Jun 7, 2025Updated 8 months ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Kwery makes it simple to generate, schedule, view and email business reports from datasources using SQL.☆13Aug 15, 2018Updated 7 years ago
- Undergraduate Work.☆13Jan 30, 2026Updated last month
- Generate GSM authentication triplets (as per 3GPP TS 55.205)☆16Jan 11, 2018Updated 8 years ago
- English Georgian Dictionary for iPhone☆21Apr 19, 2018Updated 7 years ago
- The missing php functionality to support put, patch, delete, etc multipart requests handling☆11Aug 31, 2023Updated 2 years ago
- A toy programming language built entirely using TypeScript's type system!☆57Oct 10, 2025Updated 4 months ago
- MAD documentation☆37Jan 29, 2024Updated 2 years ago
- An infinite scroll API for Elm☆39Feb 8, 2026Updated 2 weeks ago
- Official Reason plugin for Sublime Text☆43Jul 16, 2020Updated 5 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆46Apr 6, 2024Updated last year