Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.
☆12Aug 23, 2025Updated 6 months ago
Alternatives and similar repositories for Typonomikon
Users that are interested in Typonomikon are comparing it to the libraries listed below
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
- An adequate printer.☆32Jan 25, 2025Updated last year
- ☆13Feb 24, 2026Updated last week
- CTF platform we wrote and used for justCTF 2019☆12Jun 25, 2022Updated 3 years ago
- Events and Signals for FRP. Monad instances included☆12Dec 11, 2022Updated 3 years ago
- Google Calendar API v3. Haskell implementation☆12Sep 27, 2014Updated 11 years ago
- DotLang datatypes for purescript☆13Mar 3, 2023Updated 3 years ago
- Generate lenses and prisms for your data types automatically.☆12Jan 8, 2022Updated 4 years ago
- relay http requests to a gopher server☆13Jul 14, 2025Updated 7 months ago
- ☆14Aug 27, 2024Updated last year
- Typed definitions for standard Javascript globals☆11Dec 17, 2020Updated 5 years ago
- purescript wrapper for Uber's deck.gl library☆11Mar 8, 2023Updated 3 years ago
- 📦 PureScript package management with Nix☆11Aug 17, 2019Updated 6 years ago
- Rust Client for Google Tasks API☆12Nov 10, 2023Updated 2 years ago
- Java port of the Syncthing protocol☆11Jan 15, 2015Updated 11 years ago
- 📀 You finally scored a record deal.☆11Apr 11, 2023Updated 2 years ago
- 🔬 A collection of scripts to classify and analyze the on-chain smart contract activity on Cardano☆10Jul 13, 2025Updated 7 months ago
- Runs NanoVG demo with moui.☆12Aug 10, 2020Updated 5 years ago
- [WIP!] PureScript bindings to the blessed library☆10May 13, 2016Updated 9 years ago
- Add support for PureScript components to Gatsby☆12Mar 4, 2023Updated 3 years ago
- Higher order functional programming in PureScript's type system☆44Nov 9, 2021Updated 4 years ago
- Java Embedded Webserver☆13Oct 21, 2016Updated 9 years ago
- A gem to automate using List.js with Rails 3.1+☆12Dec 15, 2021Updated 4 years ago
- Arty FPGA board starter project☆12Sep 13, 2022Updated 3 years ago
- Contravariant functors☆10Oct 27, 2022Updated 3 years ago
- Trie data structure implementation in TypeScript. Highly performant. No dependencies. Built for a Scrabble Solver.☆11Jan 26, 2025Updated last year
- Higher-order FRP for PureScript☆13Dec 24, 2022Updated 3 years ago
- Experimental polykinds implementation☆15Aug 22, 2019Updated 6 years ago
- Logic puzzle game based on the lambda calculus☆20Nov 9, 2012Updated 13 years ago
- Message-oriented Middleware for Haskell☆23Dec 27, 2020Updated 5 years ago
- Const data type and typeclass instances☆12Apr 27, 2022Updated 3 years ago
- Unicode-aware Base64 encoding and decoding☆15May 2, 2022Updated 3 years ago
- A modal FRP language embedded in Haskell.☆14Oct 16, 2023Updated 2 years ago
- Identity value☆10Apr 27, 2022Updated 3 years ago
- a servant like DSL for templating requests☆15Apr 8, 2021Updated 4 years ago
- Translations of OpenStreetMap tags☆13Mar 2, 2026Updated last week
- Fast replacements for some common functions on linked lists☆13Dec 14, 2017Updated 8 years ago