Basic arithmetic on Scala's type system using Peano numbers.
☆12Nov 29, 2013Updated 12 years ago
Alternatives and similar repositories for peano-arithmetic
Users that are interested in peano-arithmetic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Serialise and deserialise classes using scala.meta☆16Sep 20, 2017Updated 9 years ago
- Simple Scala Reflection☆34Apr 27, 2017Updated 9 years ago
- Render your CV with some d3 goodies.☆12Feb 25, 2015Updated 11 years ago
- A linked list with compile time size.☆10Aug 18, 2021Updated 5 years ago
- Easily sources for you libraries enabling ctags for your sbt projects - for use with vim, emacs, sublime☆32Aug 8, 2014Updated 12 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.
- An introductory talk to Type Classes in FP Architectures☆12Mar 3, 2018Updated 8 years ago
- lightweight elasticsearch client built on Akka and Spray☆19May 19, 2014Updated 12 years ago
- Unicode goodness for Scala code by using vim's “conceal” feature☆18Dec 24, 2014Updated 11 years ago
- The semantic search engine where anyone can define anything anywhere☆30May 2, 2017Updated 9 years ago
- A categorical programming facility for Scala that offers a direct API for working with monad & a few monad stacks (at least trying).☆11Jun 16, 2014Updated 12 years ago
- ☆10Dec 13, 2012Updated 13 years ago
- Facade for the codemirror☆10Jul 15, 2017Updated 9 years ago
- AnceTran2.0: R package for transcriptome evolution analysis based on RNA-seq expression data or ChIP-seq TF-binding data☆12May 19, 2019Updated 7 years ago
- Facebook MCP server for automating posts, comment moderation, insights, and sentiment filtering.☆13Jun 19, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ShEx expressions in Scala☆11Nov 19, 2016Updated 9 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆13Feb 9, 2022Updated 4 years ago
- A bioinformatics library for Scala☆12Feb 22, 2017Updated 9 years ago
- Deserialization support for Scala case classes, including proper handling of default values.☆11Apr 5, 2016Updated 10 years ago
- ☆14Aug 18, 2018Updated 8 years ago
- My website content and configuration for Hakyll☆14Nov 27, 2015Updated 10 years ago
- macro-compat is a small library which allows you to compile macros with Scala 2.10.x which are written to the Scala 2.11/2 macro API.☆83Jun 7, 2019Updated 7 years ago
- Building Purely Functional Microservices with Freestyle RPC☆10Dec 15, 2017Updated 8 years ago
- scalaz friendly immutable Array, NonEmptyArray☆14Updated this week
- 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.
- Asynchronous and non-blocking Scala driver for Apache Cassandra☆26Jan 24, 2015Updated 11 years ago
- Code repository for AI Builders Bootcamp #6☆10Sep 19, 2025Updated last year
- Sbt thin client in Scala.js running on Node☆14Oct 27, 2018Updated 8 years ago
- A real-time choropleth map of queried mobile tweets☆15Oct 25, 2014Updated 12 years ago
- A Parboiled2 based Parser for the W3C RDF 1.1 TriG-, Turtle-, N-Triples- and Quad-Languages for Scala, Java and JavaScript☆10Sep 5, 2017Updated 9 years ago
- Just in Time Datastructures☆11Feb 21, 2017Updated 9 years ago
- Type-level API for standard collections☆33Jun 6, 2016Updated 10 years ago
- An elegant and rich cross-platform HTTP library for Dart.☆10Jan 20, 2017Updated 9 years ago
- Provides various cryptographic functions for scala.☆13Mar 7, 2019Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆23Sep 13, 2016Updated 10 years ago
- A Graph Database Operator☆14Nov 10, 2012Updated 13 years ago
- Dart library for type schemas for casting and parsing structured data☆11Jun 4, 2026Updated 5 months ago
- Frege support for sbt☆53Jul 4, 2026Updated 4 months ago
- A simple playground for dbt with the sqlite connector☆12May 22, 2022Updated 4 years ago
- Deleted, use built_value instead.☆15Nov 22, 2016Updated 9 years ago
- Source code examples from the book 'Programming BeagleBone Black' by SImon Monk.☆14Jun 3, 2014Updated 12 years ago