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
- A linked list with compile time size.☆10Aug 18, 2021Updated 5 years ago
- An introductory talk to Type Classes in FP Architectures☆12Mar 3, 2018Updated 8 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
- 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.
- A Graph Database Operator☆14Nov 10, 2012Updated 13 years ago
- ☆14Aug 18, 2018Updated 8 years ago
- Building Purely Functional Microservices with Freestyle RPC☆10Dec 15, 2017Updated 8 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
- Simple Scala Reflection☆34Apr 27, 2017Updated 9 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
- Sbt thin client in Scala.js running on Node☆14Oct 27, 2018Updated 7 years ago
- An elegant and rich cross-platform HTTP library for Dart.☆10Jan 20, 2017Updated 9 years ago
- A real-time choropleth map of queried mobile tweets☆15Oct 25, 2014Updated 11 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Provides various cryptographic functions for scala.☆13Mar 7, 2019Updated 7 years ago
- A simple playground for dbt with the sqlite connector☆12May 22, 2022Updated 4 years ago
- New Harvest in-incubator perfusion system for cellular agriculture and biomedical engineering☆15Oct 23, 2024Updated last year
- ☆23Sep 13, 2016Updated 10 years ago
- ☆10Aug 13, 2012Updated 14 years ago
- Scalafmt hook for pre-commit☆14Apr 20, 2021Updated 5 years ago
- Client for the Cromwell workflow engine☆17Mar 7, 2024Updated 2 years ago
- Redux-style selectors for Angular 2.☆15Aug 29, 2016Updated 10 years ago
- Deleted, use built_value instead.☆15Nov 22, 2016Updated 9 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.
- Problem solving à la carte☆22Apr 11, 2022Updated 4 years ago
- Implicit metaprogramming tutorial for Scala☆15Jan 20, 2015Updated 11 years ago
- ARCE (Arduboy RayCasting Engine) : a raycasting engine for the Arduboy☆12Sep 5, 2016Updated 10 years ago
- Immutable, persistent data structures for Dart and Flutter.☆14Nov 14, 2016Updated 9 years ago
- Denigma☆15Sep 17, 2015Updated 11 years ago
- A proof-of-concept for making a grpc client in Dart using package:http2☆11Jul 3, 2017Updated 9 years ago
- Convert CWL to WDL☆17Oct 17, 2016Updated 10 years ago
- ☆11Jul 12, 2026Updated 3 months ago
- A language agnostic collaborative cloud IDE☆20Apr 20, 2015Updated 11 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.
- Project templates without needing a repository☆18Jul 27, 2021Updated 5 years ago
- Graphviz Scala bindings☆54Dec 13, 2016Updated 9 years ago
- ☆13Jan 17, 2017Updated 9 years ago
- Machine Learning Pipeline Stages for Spark (exposed in Scala/Java + Python)☆16Oct 14, 2019Updated 7 years ago
- GMR Saliency Map☆12May 5, 2019Updated 7 years ago
- JMnemohistosyne executes programmatically memory histograms of Java process☆21Mar 27, 2019Updated 7 years ago
- ☆15Feb 25, 2017Updated 9 years ago