A presentation tool.
☆32Nov 4, 2017Updated 8 years ago
Alternatives and similar repositories for pink
Users that are interested in pink are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- Magic: the Gathering deck tuning tool implementing the Elephant Method☆23Dec 16, 2016Updated 9 years ago
- parse time strings into {hour,minute} object, specially useful for user input (ie. speech recognition). supports british time format ("a …☆17Dec 22, 2016Updated 9 years ago
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21May 4, 2015Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A general build tool for haskell projects inspired by leiningen☆16Jun 6, 2015Updated 10 years ago
- A package for managing a static, mathematically-inclined web log☆27Oct 3, 2015Updated 10 years ago
- ☆11May 18, 2016Updated 10 years ago
- Support for multiple broker hosts and basic "failover" on the client side.☆23Feb 20, 2013Updated 13 years ago
- The common BODil Oriented Language☆313Apr 17, 2017Updated 9 years ago
- Convert Errors & Objects into an easily-serialized vanilla Object.☆15Aug 9, 2016Updated 9 years ago
- A fast Haskell Bloom filter library.☆60Feb 1, 2023Updated 3 years ago
- The LFE Tutorial☆29Nov 23, 2023Updated 2 years ago
- Handle POSIX signals in Clojure.☆22Dec 29, 2013Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Un-accents and un-umlauts characters in a string. Also preliminary converts the string to lower case. We use it for autocomplete: both fo…☆14Jan 17, 2019Updated 7 years ago
- Let's program! Get into programming writing a simple game.☆76Apr 4, 2014Updated 12 years ago
- Misc Erlang Tools☆10Dec 12, 2023Updated 2 years ago
- vim-gitlab is a vim client for GitLab☆17Dec 2, 2015Updated 10 years ago
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 7 years ago
- An extreme condensation of the tutorial for Haskell's Servant (web server and client) library☆11Feb 2, 2018Updated 8 years ago
- IHaskell notebooks showing how Haskell can be used in Astronomy.☆23Apr 23, 2015Updated 11 years ago
- ProxyConf is a control plane for Envoyproxy that simplifies and secures API management in enterprise environments. It leverages the OpenA…☆15Aug 21, 2025Updated 9 months ago
- Kylie is a blond and small Elixir client for Cayley graph data base☆12Apr 17, 2026Updated last month
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- httpbin implemented in ClojureScript☆16Mar 3, 2017Updated 9 years ago
- An introductory workshop to learn Elm☆15Mar 23, 2018Updated 8 years ago
- A simple sqlite3 library for Haskell☆21Aug 27, 2018Updated 7 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Erlang counters☆14Nov 13, 2023Updated 2 years ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- Haskell tool to automatically bump package versions transitively.☆26May 24, 2016Updated 9 years ago
- Universal and extensible data structure library for interacting with Erlang maps, proplists, dicts, etc..☆11Dec 17, 2025Updated 5 months ago
- NovaJUG Presentation: "Convince your Boss to let you use Scala"☆18Jul 1, 2011Updated 14 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.
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- ☆10Oct 24, 2024Updated last year
- GUI mastodon client written in Haskell☆15Jun 23, 2018Updated 7 years ago
- A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.☆34May 27, 2017Updated 8 years ago
- Can you kick it?☆21May 6, 2026Updated 2 weeks ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- No, no, no! Everything about the way you consume social media is wrong! Let me tell you about my bril—☆14Mar 4, 2024Updated 2 years ago