Unix manual pages for R6RS and R7RS
☆20Feb 11, 2024Updated 2 years ago
Alternatives and similar repositories for manpages
Users that are interested in manpages are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scheme Surveys☆12Dec 24, 2025Updated 10 months ago
- ☆105Jun 10, 2026Updated 4 months ago
- Import SRFI metadata into the Scheme API☆11Aug 9, 2026Updated 2 months ago
- A Python filetype plugin to check pep8 convention.☆12Nov 28, 2011Updated 14 years ago
- Fintie Sets in Cubical Agda☆13Aug 30, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- client for a snow2 repository☆12Mar 18, 2019Updated 7 years ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆17Dec 10, 2019Updated 6 years ago
- A Portable Scheme Interface to the Tk GUI Toolkit☆13May 17, 2025Updated last year
- forest☆41Updated this week
- A minimalist, multithreaded X window manager with a plugin architecture (WIP)☆11Sep 24, 2017Updated 9 years ago
- A curated list of awesome Scheme libraries and resources☆426Oct 8, 2026Updated 3 weeks ago
- the windows98 experience as a website☆12Jun 21, 2025Updated last year
- currently vaporware☆12Aug 25, 2020Updated 6 years ago
- SLAYER ported to Racket☆21Jun 15, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- My little GTD bundle for TextMate.☆13Jan 26, 2010Updated 16 years ago
- Organize mathematical thoughts☆21Oct 6, 2023Updated 3 years ago
- Don't ask me how this works☆14Aug 6, 2020Updated 6 years ago
- ☆21May 9, 2017Updated 9 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆26Apr 28, 2026Updated 6 months ago
- Implementation of CommonMark for Guile☆41May 8, 2020Updated 6 years ago
- ☆16Aug 3, 2025Updated last year
- 👹 A library for hierarchical names and lexical scoping☆28Jun 19, 2026Updated 4 months ago
- Rename renames the filenames supplied according to the rule specified as the first argument. The argument is a Perl expression which is e…☆11Mar 12, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Library to write makefiles in the GNU Guile dialect of the Scheme programming language.☆13Apr 17, 2026Updated 6 months ago
- [Sleepy] Emacs auto-complete backend for geiser.☆25Mar 18, 2020Updated 6 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 7 years ago
- A reference card for GNU APL☆11Feb 19, 2025Updated last year
- efficient Game of Life in Python☆15Jul 1, 2022Updated 4 years ago
- An abstract-interpretation-based static analysis for inferring refinement types☆17Aug 11, 2025Updated last year
- ☆20Mar 15, 2016Updated 10 years ago
- Structured access to bytevector contents.☆39Aug 20, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Certified Interpreter for ML with Structural Polymorphism☆45Apr 11, 2025Updated last year
- Formalisation of a capability machine and principles for reasoning about security properties☆29Oct 13, 2026Updated 2 weeks ago
- Scheme parser for tree-sitter☆52Oct 12, 2026Updated 3 weeks ago
- Where my everyday research happens☆58Jul 28, 2026Updated 3 months ago
- A console client for mpd written in OCaml☆12Jan 5, 2019Updated 7 years ago
- Common Lisp BBS textboard☆18Aug 2, 2026Updated 3 months ago
- Scheme in Rust☆15Dec 10, 2021Updated 4 years ago