Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.
☆12Aug 23, 2025Updated 8 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 4 years ago
- Stack-safe monad transformers implemented using continuation-passing style and uncurried functions.☆23Aug 28, 2022Updated 3 years ago
- Personal research notes☆18Oct 18, 2024Updated last year
- Translations of OpenStreetMap tags☆13Apr 28, 2026Updated last week
- 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 gem to automate using List.js with Rails 3.1+☆12Dec 15, 2021Updated 4 years ago
- An adequate printer.☆32Jan 25, 2025Updated last year
- Explorer of cardano-sl☆10Dec 7, 2022Updated 3 years ago
- Higher order functional programming in PureScript's type system☆44Nov 9, 2021Updated 4 years ago
- ☆14Aug 27, 2024Updated last year
- Demoscene: Lambda Team☆20Jun 18, 2019Updated 6 years ago
- Java port of the Syncthing protocol☆11Jan 15, 2015Updated 11 years ago
- Turn a fresh BSD install into a Lisp workstation☆17Dec 13, 2025Updated 4 months ago
- CTF platform we wrote and used for justCTF 2019☆12Jun 25, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A library for managing cycles across hundreds of canisters.☆19Jul 24, 2023Updated 2 years ago
- relay http requests to a gopher server☆13Jul 14, 2025Updated 9 months ago
- Logic puzzle game based on the lambda calculus☆20Nov 9, 2012Updated 13 years ago
- A modal FRP language embedded in Haskell.☆14Oct 16, 2023Updated 2 years ago
- i3 status line generator☆12Apr 11, 2025Updated last year
- Render LaTeX math to SVG mages☆18Mar 25, 2024Updated 2 years ago
- Message-oriented Middleware for Haskell☆23Dec 27, 2020Updated 5 years ago
- wpa_supplicant for Windows☆14Mar 23, 2024Updated 2 years ago
- Golang implementation of the Paice/Husk Stemming Algorithm☆29Dec 16, 2013Updated 12 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.
- Plugin integrating SimpleMDE into Lektor admin☆14Dec 18, 2020Updated 5 years ago
- webrtc esp8266 websocket led control☆18Feb 6, 2019Updated 7 years ago
- Interactive fiction written in Haskell☆13Sep 25, 2018Updated 7 years ago
- Typed definitions for standard Javascript globals☆11Dec 17, 2020Updated 5 years 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
- Trie data structure implementation in TypeScript. Highly performant. No dependencies. Built for a Scrabble Solver.☆11Apr 30, 2026Updated last week
- Archive of Scrabble dictionaries in various languages☆23Feb 23, 2026Updated 2 months ago
- Add support for PureScript components to Gatsby☆12Mar 4, 2023Updated 3 years ago
- A gallery of csound instruments☆17Oct 28, 2021Updated 4 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.
- [WIP!] PureScript bindings to the blessed library☆10May 13, 2016Updated 9 years ago
- Verify FLAC files ripped from CD using AccurateRip™☆19Apr 25, 2021Updated 5 years ago
- Rust Client for Google Tasks API☆12Nov 10, 2023Updated 2 years ago
- Template for Hindley-Milner based languages☆39Dec 7, 2021Updated 4 years ago
- Kakoune mode for Visual Studio Code☆17Oct 27, 2017Updated 8 years ago
- ☆15May 1, 2023Updated 3 years ago
- ET (IPL) language interpreters and literature☆26Feb 15, 2019Updated 7 years ago