Yet another Scheme implemented in Haskell
☆20Dec 21, 2019Updated 6 years ago
Alternatives and similar repositories for yasih
Users that are interested in yasih are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- To Mock a Mockingbird, formalized in Coq☆11Mar 9, 2016Updated 10 years ago
- A Dict k v in Idris☆15Dec 15, 2020Updated 5 years ago
- ☆15Mar 26, 2026Updated 2 weeks ago
- Companion repository for 'No More Orphans'☆14Oct 13, 2022Updated 3 years ago
- A Swift parser for output files from automated transcription services. An experiment inspired by the Swift Community Podcast.☆13May 3, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Tiny ML interpreter☆16Feb 16, 2014Updated 12 years ago
- Build servers in Hyper using Trout☆16Jul 2, 2020Updated 5 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18May 15, 2019Updated 6 years ago
- type-classes for structural manipulation of algebraic data types☆17Oct 7, 2018Updated 7 years ago
- A systems programming language with lexical effect handlers☆18Feb 24, 2026Updated last month
- Formatter for Protocol Buffer files written in Haskell☆29Jul 14, 2022Updated 3 years ago
- Provide names for numbers in English☆22Jun 6, 2019Updated 6 years ago
- 🌜 A functional, dynamic programming language☆12Oct 6, 2022Updated 3 years ago
- A simple ML dialect☆10Jan 2, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Functional Vector Graphics☆17Jun 19, 2017Updated 8 years ago
- Incorporates external dependencies into HTML file using data: URI scheme☆21Nov 17, 2011Updated 14 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆17Mar 4, 2024Updated 2 years ago
- Dotfiles configuration.☆23Apr 2, 2026Updated last week
- A simple blogging platform with Haskell and Scotty☆37Dec 25, 2021Updated 4 years ago
- Golden test support for Tasty☆42Feb 1, 2026Updated 2 months ago
- A Haskell IDE for Visual Studio Code.☆27Updated this week
- Applicative lexer☆13Nov 26, 2019Updated 6 years ago
- ☆18Jul 11, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Streaming parsers collection☆17Jun 19, 2020Updated 5 years ago
- Terminal Emulator written in 100% Haskell☆69Feb 17, 2022Updated 4 years ago
- This library has been succeeded by cats-tagless☆40Jul 4, 2018Updated 7 years ago
- A Haskell library: A fancy logging effect for Polysemy using the formatting library to format log messages.☆12Jul 16, 2021Updated 4 years ago
- Haskell FFI bindings to CUDA☆80Apr 1, 2026Updated last week
- 割方体: 正方形に切れ込みを入れた文字のフォント☆13Mar 30, 2019Updated 7 years ago
- For hosting ATS3 and developing CodeDepot☆18Apr 5, 2026Updated last week
- Cursor data and manipulation☆22May 29, 2025Updated 10 months ago
- A statically typed functional programming language.☆46Apr 4, 2026Updated last week
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Tool to convert literate code between styles or to code.☆11Jun 4, 2019Updated 6 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- An iOS PDF reader app using Apple PDFKit and Document-based (No longer available on App Store)☆19Aug 19, 2023Updated 2 years ago
- A CLI application to download NASA pictures and apply them as the background for your pc☆14Jul 16, 2020Updated 5 years ago
- A best-first-search theorem prover implemented in Isabelle☆36Jul 18, 2022Updated 3 years ago
- ☆16Mar 22, 2025Updated last year
- The Som functional programming language☆21Nov 15, 2023Updated 2 years ago