関数型プログラミングに関する論文の非公式日本語訳
☆25Mar 5, 2015Updated 11 years ago
Alternatives and similar repositories for fp-papers
Users that are interested in fp-papers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- VeriFastに関する文書の日本語訳置き場☆15Oct 15, 2018Updated 7 years ago
- 高橋Monad☆17May 24, 2017Updated 9 years ago
- A Scala library that provides various data structures.☆13May 6, 2019Updated 7 years ago
- ☆21Updated this week
- A port of Bryan O'Sullivan's attoparsec from Haskell to Scala☆15Dec 21, 2010Updated 15 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- SATySFi package for flexible ordered/unordered/description lists.☆15Nov 23, 2021Updated 4 years ago
- Simple Virtual Machine written in Haskell☆28May 10, 2014Updated 12 years ago
- Operational monad library☆30Nov 30, 2021Updated 4 years ago
- ☆31Sep 9, 2015Updated 10 years ago
- A Scala wrapper for Twitter4J☆16Jan 22, 2014Updated 12 years ago
- Runs an Erlang node on an ActorSystem of Akka.☆43Oct 4, 2016Updated 9 years ago
- Regular expression matching of Haskell types☆13Apr 2, 2016Updated 10 years ago
- 席替えスクリプト☆16Jun 12, 2015Updated 11 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Type-Level Metaprogramming Library in Scala☆48May 19, 2014Updated 12 years ago
- ☆10Mar 15, 2019Updated 7 years ago
- A Haskell library to mock the current time. ⏰☆19May 1, 2018Updated 8 years ago
- ATS言語に関する文書の日本語訳置き場☆21Nov 4, 2020Updated 5 years ago
- Simple, powerful, flexible, comment-based Testing Framework for your command-line tools or shell scripts on Bash 4.x☆15Feb 23, 2023Updated 3 years ago
- sbt plugin for scalaprops. provides tab completion, scala-native support☆12Jul 17, 2026Updated last week
- Data structure experimentation in scala☆15May 13, 2015Updated 11 years ago
- Tiny lenses library with focus on ease of use.☆20May 29, 2018Updated 8 years ago
- a collection of various algorithms written using recursion schemes☆24Jan 2, 2022Updated 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.
- Seekable sources and efficient incremental sinks☆17Sep 20, 2017Updated 8 years ago
- SBT Plugin for Compiling a Single File☆25Aug 16, 2018Updated 7 years ago
- This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Has…☆237Dec 2, 2023Updated 2 years ago
- Official blog of Haskell-jp.☆32Dec 7, 2025Updated 7 months ago
- some useful type class instances for Observable☆12Dec 17, 2014Updated 11 years ago
- ☆11Dec 23, 2017Updated 8 years ago
- Deprecated. Please use https://github.com/thesamet/sbt-protoc☆21Jun 19, 2019Updated 7 years ago
- ☆13Sep 22, 2015Updated 10 years ago
- moved to https://github.com/keigoi/Coq4iOS2☆24Oct 25, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- SComb: Simple but Powerful Parser Combinator Library☆18Jun 6, 2025Updated last year
- Exploration of the Free monad without point☆11Oct 23, 2016Updated 9 years ago
- ☆25Aug 11, 2014Updated 11 years ago
- Drill to study recursive programming in Haskell☆127May 24, 2024Updated 2 years ago
- A representation of latitude and longitude☆15Nov 25, 2019Updated 6 years ago
- Happy & Alex を使った Monadic Parser の、なるべくコンパクトなサンプルを目指して☆12Oct 9, 2014Updated 11 years ago
- Destroys failures.☆66Jun 28, 2026Updated 3 weeks ago