Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.
☆12May 11, 2026Updated 5 months ago
Alternatives and similar repositories for Typonomikon
Users that are interested in Typonomikon are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Generate tests from examples in purescript docs☆16Dec 11, 2022Updated 3 years ago
- Exemplary real world application built with PureScript + Payload + PostgreSQL☆20Jun 8, 2021Updated 5 years ago
- Stack-safe monad transformers implemented using continuation-passing style and uncurried functions.☆24Aug 28, 2022Updated 4 years ago
- Personal research notes☆19Oct 18, 2024Updated 2 years ago
- Explorer of cardano-sl☆10Dec 7, 2022Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Translations of OpenStreetMap tags☆15Updated this week
- An adequate printer.☆32Jan 25, 2025Updated last year
- A gem to automate using List.js with Rails 3.1+☆11Dec 15, 2021Updated 4 years ago
- Higher order functional programming in PureScript's type system☆45Nov 9, 2021Updated 4 years ago
- Java port of the Syncthing protocol☆11Jan 15, 2015Updated 11 years ago
- The standard library for Motoko.☆17Updated this week
- A library for managing cycles across hundreds of canisters.☆19Jul 24, 2023Updated 3 years ago
- A BitMessage headless client and library☆12Oct 1, 2013Updated 13 years ago
- Geocities-esque tumblr theme.☆13Jul 21, 2022Updated 4 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.
- Write like a pro with the Vale writing style linter.☆14Dec 4, 2022Updated 3 years ago
- Turn a fresh BSD install into a Lisp workstation☆17Dec 13, 2025Updated 10 months ago
- Java library to provide an easy way to manage all kind of resources☆13Jun 7, 2021Updated 5 years ago
- ☆16Aug 27, 2024Updated 2 years ago
- i3 status line generator☆12Oct 20, 2026Updated 2 weeks ago
- Sets the built-in adult content filter (most often: safe search) on Google, YouTube, Bing, Yahoo, DuckDuckGo, Startpage, Dogpile, Yandex,…☆25Mar 28, 2024Updated 2 years ago
- Convert Android XML UI Layout to HaxeUI and android resource manager for OpenFL☆14Aug 21, 2014Updated 12 years ago
- relay http requests to a gopher server☆14Jul 14, 2025Updated last year
- A modal FRP language embedded in Haskell.☆14Oct 16, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Render LaTeX math to SVG mages☆18Mar 25, 2024Updated 2 years ago
- Interactive fiction written in Haskell☆13Sep 25, 2018Updated 8 years ago
- Ncomputing L130 PCB reverse engineering☆12Jun 11, 2026Updated 4 months ago
- telegram-desktop openbsd port WIP☆10Apr 29, 2022Updated 4 years ago
- Applicative Folds, in the style of Gabriel Gonzalez' foldl library☆14Mar 21, 2019Updated 7 years ago
- Plugin integrating SimpleMDE into Lektor admin☆14Dec 18, 2020Updated 5 years ago
- ET (IPL) language interpreters and literature☆26Feb 15, 2019Updated 7 years ago
- CTF platform we wrote and used for justCTF 2019☆12Jun 25, 2022Updated 4 years ago
- Trie data structure implementation in TypeScript. Highly performant. No dependencies. Built for a Scrabble Solver.☆10Aug 4, 2026Updated 3 months 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.
- Template for Hindley-Milner based languages☆40Dec 7, 2021Updated 4 years ago
- ☆15Jan 17, 2015Updated 11 years ago
- wpa_supplicant for Windows☆14Mar 23, 2024Updated 2 years ago
- ☆15May 1, 2023Updated 3 years ago
- Rust Client for Google Tasks API☆12Nov 10, 2023Updated 2 years ago
- [WIP!] PureScript bindings to the blessed library☆10May 13, 2016Updated 10 years ago
- A gallery of csound instruments☆17Oct 28, 2021Updated 5 years ago