tssm / .configView external linksLinks
UNIX is my IDE and Neovim my Emacs
☆13Jun 12, 2025Updated 8 months ago
Alternatives and similar repositories for .config
Users that are interested in .config are comparing it to the libraries listed below
Sorting:
- RemoteData and WebData to use with bs-fetch for BuckleScript☆18Jan 29, 2019Updated 7 years ago
- ☆19Apr 23, 2022Updated 3 years ago
- Prototype for https://github.com/Innf107/vega☆19Jul 22, 2024Updated last year
- S-expression parsing library☆36Jan 15, 2026Updated last month
- Ascend - simple, yet fun terminal RPG.☆32Nov 2, 2024Updated last year
- Algorithms to layout trees in a pretty manner.☆36Mar 7, 2022Updated 3 years ago
- freshly-fermented, dependently-typed mustard, with a substructural aftertaste☆30Mar 31, 2020Updated 5 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29May 26, 2021Updated 4 years ago
- ☆35Jul 19, 2019Updated 6 years ago
- Example ReasonML app with GraphQL + Apollo we build together in a tutorial.☆10Nov 24, 2018Updated 7 years ago
- ☆10Dec 8, 2025Updated 2 months ago
- Create string patterns and derive things from them, such as regexes☆10Sep 19, 2024Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- A Trash icon in your panel.☆14Nov 25, 2017Updated 8 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- A declarative command-line parser for OCaml☆46Jan 5, 2026Updated last month
- A simple, ASP-like embedded logic programming language for games☆47Jun 8, 2024Updated last year
- Solutions in Haskell to Advent of Code https://adventofcode.com/☆12Dec 13, 2025Updated 2 months ago
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Feb 2, 2020Updated 6 years ago
- A powerful validation and transformation library.☆22Sep 2, 2025Updated 5 months ago
- Numerical snippets & tests☆12Jan 5, 2026Updated last month
- Rule ideas for elm-review☆10Mar 14, 2021Updated 4 years ago
- Garbage collector implementation in Rust for Rust☆13Aug 30, 2020Updated 5 years ago
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Jul 31, 2022Updated 3 years ago
- A command-line parser for Standard ML☆21Dec 29, 2025Updated last month
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 7 years ago
- Add support for PureScript components to Gatsby☆12Mar 4, 2023Updated 2 years ago
- DotLang datatypes for purescript☆13Mar 3, 2023Updated 2 years ago
- A rhythm game to play with friends and frenemies☆12Nov 24, 2022Updated 3 years ago
- ☆11Dec 9, 2022Updated 3 years ago
- A GUI application for testing GRPC services☆18Nov 20, 2023Updated 2 years ago
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 2 months ago
- Unpacks java-to-exe files converted by JWrapper☆12Dec 5, 2022Updated 3 years ago
- Aggregated tips from the "Oban Tips" Twitter series☆12Jun 27, 2023Updated 2 years ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- JSON logging using monad-logger interface☆12Mar 16, 2024Updated last year
- Generate lenses and prisms for your data types automatically.☆12Jan 8, 2022Updated 4 years ago
- A small React hook to turn your components into "Actors".☆14Jun 6, 2019Updated 6 years ago