Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.
☆12Aug 23, 2025Updated 7 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☆19Oct 18, 2024Updated last year
- Translations of OpenStreetMap tags☆13Mar 19, 2026Updated last week
- 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.
- 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 3 months ago
- A library for managing cycles across hundreds of canisters.☆19Jul 24, 2023Updated 2 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- CTF platform we wrote and used for justCTF 2019☆12Jun 25, 2022Updated 3 years ago
- relay http requests to a gopher server☆13Jul 14, 2025Updated 8 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 11 months ago
- 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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.☆11Jan 26, 2025Updated last year
- Archive of Scrabble dictionaries in various languages☆17Feb 23, 2026Updated last month
- Add support for PureScript components to Gatsby☆12Mar 4, 2023Updated 3 years ago
- A gallery of csound instruments☆17Oct 28, 2021Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- [WIP!] PureScript bindings to the blessed library☆10May 13, 2016Updated 9 years ago
- Verify FLAC files ripped from CD using AccurateRip™☆19Apr 25, 2021Updated 4 years ago
- ☆13Updated this week
- 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 2 years ago