Minimal color scheme for Vim
☆35Aug 13, 2020Updated 5 years ago
Alternatives and similar repositories for minimal
Users that are interested in minimal are comparing it to the libraries listed below
Sorting:
- A collection of useful procedures divided into modules for Racket.☆12Oct 20, 2023Updated 2 years ago
- A minimal "terminal-app" skeleton with maximum comfort.☆12Sep 1, 2017Updated 8 years ago
- ☆12Aug 22, 2016Updated 9 years ago
- A minimal tmux theme. This repo is part of the typewriter suite.☆14May 1, 2019Updated 6 years ago
- Mocks a command line client from a given YAML file☆12Nov 10, 2016Updated 9 years ago
- An IRC client for acme — the project that started it all.☆28Nov 6, 2025Updated 3 months ago
- Self-adjusting computations☆23Oct 9, 2023Updated 2 years ago
- A plugin that adds wiki and diary extension to orgmode filetype☆28Mar 4, 2025Updated 11 months ago
- An implementation of "A Pretty Expressive Printer" in OCaml☆26Mar 13, 2024Updated last year
- Forth emulator, as a Racket #lang☆21Feb 20, 2023Updated 3 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Jan 13, 2017Updated 9 years ago
- Go-style JavaScript ES6 compiler and packager, based on Babel☆30Oct 5, 2015Updated 10 years ago
- Tree style (files) explorer for p9p acme.☆24May 2, 2022Updated 3 years ago
- ☆11Oct 25, 2024Updated last year
- A clean implementation of Parsing with Zippers.☆38Sep 22, 2018Updated 7 years ago
- Take an info.rkt file, produce a info.nix file.☆45Apr 7, 2021Updated 4 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Pretty-print error messages of the ATS Compiler☆37Jun 28, 2019Updated 6 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Helper library to test error cases with Cassandra db☆10Jul 27, 2017Updated 8 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Efficient binder representation in OCaml☆43Jul 5, 2024Updated last year
- Collection of composable, simple, and hopefully useful scripts.☆11Jul 7, 2024Updated last year
- extendable field for use in Django Models☆29May 7, 2023Updated 2 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- ☆12Mar 13, 2025Updated 11 months ago
- ☆11Mar 13, 2022Updated 3 years ago
- Rest your pinkies.☆11Oct 27, 2016Updated 9 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- 9front drawterm client with Audio for macOS☆10Apr 14, 2020Updated 5 years ago
- Lightweight Cloud Instance Contextualizer☆38Aug 21, 2015Updated 10 years ago
- an implementation of gradual typing in mit-scheme☆10Apr 11, 2021Updated 4 years ago
- Adds syntax to racket languages☆11Aug 17, 2022Updated 3 years ago
- A tool to slice up your Cucumber test suite into small, easy to parallelize pieces.☆13Jan 16, 2026Updated last month
- Systemic Infrastructure Resilience Analysis☆11Updated this week
- Helps writing command-line programs with subcommands in Go☆13Feb 4, 2015Updated 11 years ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- Scheme libraries written or packaged for R7RS implementations☆13Apr 7, 2018Updated 7 years ago