An Emas Major Mode for editing Answer Set Programs
☆12Apr 4, 2018Updated 7 years ago
Alternatives and similar repositories for pasp-mode
Users that are interested in pasp-mode are comparing it to the libraries listed below
Sorting:
- My blog and its static site generator☆10Oct 28, 2024Updated last year
- Multi Dimensional Identity Protocol (MDIP) reference implementation☆14Updated this week
- A Solidity spec suite to test parsers for language compliance.☆11Dec 31, 2017Updated 8 years ago
- Clojure implementation of the W3C proposal R2RML: RDB to RDF mapping language☆25Mar 23, 2011Updated 14 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 9 years ago
- A tiny object wrapper around the DOM, targeted at replacing the core of the manipulations found inside jQuery.☆54Apr 29, 2014Updated 11 years ago
- A set of pytest fixtures to test Frappe applications☆13Jul 30, 2024Updated last year
- My take on the Refind Maia theme.☆14Jan 26, 2020Updated 6 years ago
- Sample code in MMIX assembly language☆12Jan 25, 2022Updated 4 years ago
- ☆11Dec 27, 2023Updated 2 years ago
- ☆11May 26, 2023Updated 2 years ago
- ClojureScript functional reactive programming library.☆49Jun 7, 2013Updated 12 years ago
- An interface between Clojure and Mathematica☆10Mar 17, 2015Updated 10 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- A small personal project to learn Clojure by implementing some simple machine learning algorithms☆29Oct 12, 2009Updated 16 years ago
- verifiable contracts using temporal modal logic☆18Feb 23, 2026Updated last week
- Clojure Google Spreadsheet API Demo☆10Mar 18, 2016Updated 9 years ago
- This repository collects notebooks for the course☆14Jan 19, 2026Updated last month
- ☆10Mar 21, 2023Updated 2 years ago
- modal logic library for LEAN theorem prover☆12Aug 20, 2017Updated 8 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Aug 19, 2017Updated 8 years ago
- A utility to manage HTTP requests from APL☆12Feb 11, 2026Updated 3 weeks ago
- Declarative unit testing for Answer Set Programming projects☆12Mar 4, 2018Updated 8 years ago
- a simple example project using noir, overtone, and my cljs libraries☆24Nov 20, 2012Updated 13 years ago
- SWI-Prolog OpenAPI (Swagger) support☆10Sep 30, 2024Updated last year
- Ulrich Newmerkel's library for reified if, as a prolog pack☆11Aug 11, 2020Updated 5 years ago
- TUS protocol for resumable file uploads via HTTP☆14Feb 16, 2026Updated 2 weeks ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Mar 10, 2015Updated 10 years ago
- A simple development of linear logic in Coq.☆13Mar 22, 2025Updated 11 months ago
- Source of the "Pony for X" intro to Pony series☆14Oct 4, 2016Updated 9 years ago
- 🦋 atproto Clojure SDK☆14Feb 10, 2025Updated last year
- Language Server for Prolog☆13May 2, 2023Updated 2 years ago
- Ideal Hash Array Mapped Tries: an Erlang functional datatype☆18Nov 15, 2013Updated 12 years ago
- ☆11Apr 17, 2021Updated 4 years ago
- Dynamic content filtering in org-mode exported HTML documents based on heading text and tags☆12Jan 11, 2026Updated last month
- GNOME Shell Extension that displays currently configured Gnome hotkeys in a popup.☆15Jan 24, 2023Updated 3 years ago
- A Dict k v in Idris☆15Dec 15, 2020Updated 5 years ago
- Hoare's CSP examples implemented with Clojure core.async☆63Oct 1, 2013Updated 12 years ago
- ☆15Aug 30, 2015Updated 10 years ago