The 1973 survey of Holon Programming by Pierre-Arnoul de Marneffe
☆22Jul 17, 2024Updated last year
Alternatives and similar repositories for holon-programming
Users that are interested in holon-programming are comparing it to the libraries listed below
Sorting:
- Sources and Documentation for the HINT project☆11Feb 17, 2026Updated 2 weeks ago
- ☆15Jul 12, 2024Updated last year
- git-svn mirror of the TUGboat repository☆13Updated this week
- generic TeX package - including MetaPost code in LuaTeX documents☆20Feb 9, 2026Updated 3 weeks ago
- Manual translation of tex.web version 3.141592653 into C++ (and other related programs)☆19Aug 23, 2025Updated 6 months ago
- Command line application to convert .bib files to glossaries-extra.sty resource file☆26Nov 13, 2025Updated 3 months ago
- Driver-independent color extensions for LaTeX and pdfLaTeX☆34Dec 14, 2024Updated last year
- A GitHub Action to install TeX Live☆38Feb 2, 2026Updated last month
- A hopefully growing collection of (latex) beamer-themes that i have created over the years. All themes supplied are standalone versions.☆34Nov 12, 2024Updated last year
- Declarative Page Layouts☆33Jul 31, 2024Updated last year
- With This-or-That, prioritizing is fun and fast.☆10Aug 9, 2024Updated last year
- A LibreOffice extension that converts JabRef references to plain text code and vice versa so that you can use your references with MS Off…☆12Aug 15, 2024Updated last year
- data compression library for embedded/real-time systems☆13Dec 8, 2015Updated 10 years ago
- ☆10Sep 18, 2022Updated 3 years ago
- TOSCA transformer build by students at the University of Stuttgart☆10Jun 15, 2020Updated 5 years ago
- Queued copying tool, with ability to sync folders☆14Jan 20, 2026Updated last month
- ✍️ A browser add-on (Firefox, Chrome, Thunderbird) that allows you to autocorrect common text sequences and convert text characters to a …☆12Feb 9, 2026Updated 3 weeks ago
- A web-based application for authoring BPMN 2.0 process specifications☆15Jun 15, 2016Updated 9 years ago
- Simplify icon selection with IkonX - your Ikonli icon pack browser.☆11Jan 10, 2026Updated last month
- A course on free/libre and open source software☆11Oct 16, 2025Updated 4 months ago
- Build Your Own Neural Network Design☆14Aug 3, 2020Updated 5 years ago
- AGSteam: Steam API Plugin for Adventure Game Studio☆10Jun 11, 2018Updated 7 years ago
- A list of awesome comparison projects☆13Mar 13, 2018Updated 7 years ago
- Support files for the course ES123: Computer Algorithm and Programming Project☆14Feb 12, 2026Updated 2 weeks ago
- Ancient and somewhat pathological LaTeX parser written in Java☆13Jan 19, 2024Updated 2 years ago
- PYBOSSA Documentation☆12Mar 29, 2021Updated 4 years ago
- A list of TDD exercises☆10Feb 9, 2018Updated 8 years ago
- The LuaLaTeX package piton☆13Jan 29, 2026Updated last month
- A web app to play Zork with code inspection☆15Updated this week
- Watch twitch.tv on webOS4☆10Oct 20, 2019Updated 6 years ago
- GitHub Action to Sync subtrees with a source project☆11Oct 16, 2019Updated 6 years ago
- For the evolution of new ideas☆10Jul 19, 2023Updated 2 years ago
- This is a desktop floating window software used to display the current network speed, CPU and memory utilization, and supports taskbar di…☆10Jul 2, 2024Updated last year
- My emacs publishing blog system (tightly coupled to my org-roam setup) using org-mode.☆10Dec 22, 2025Updated 2 months ago
- Java library for working with the QUDT ontology and data using it.☆15Aug 16, 2025Updated 6 months ago
- M#! Distributed shell pipelines with GNU Guile.☆14Dec 28, 2020Updated 5 years ago
- Codeable Models aims to provide an easy-to-use API for coding software design models akin to UML models, but radically simplified compare…☆12Nov 14, 2023Updated 2 years ago
- A clean-room implementation of the findbugs annotations released under the Apache License, version 2.0☆15Oct 12, 2020Updated 5 years ago
- Docker image autobuild for latests snapcraft on latest ubuntu LTS version☆11Jun 17, 2016Updated 9 years ago