Simple (100 line) XML and JSON writing combinators
☆25May 19, 2014Updated 12 years ago
Alternatives and similar repositories for pru
Users that are interested in pru are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- F# CSV type provider ported to OCaml☆17Nov 23, 2018Updated 7 years ago
- EvalEx big-math extension for math functions (pow, sqrt, log, sin, ...)☆14Oct 27, 2024Updated last year
- Scala 3D Engine☆25Apr 27, 2013Updated 13 years ago
- Short pieces of code that are "plays" - mostly haskell, sometimes math / other things☆13Jun 26, 2022Updated 3 years ago
- Functional bindings for ZeroMQ☆10Aug 12, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Semaphore v4 implemented in Rust☆10Oct 7, 2025Updated 8 months ago
- An XML-validation-based trace validator☆93Jun 25, 2010Updated 15 years ago
- 翻譯區塊鏈相關專有名詞☆11Jun 12, 2025Updated last year
- Propositional calculus in Haskell☆11Nov 21, 2016Updated 9 years ago
- Scala implementation of shamir's secret-sharing scheme.☆11Apr 19, 2017Updated 9 years ago
- Extensible protocols for Scala☆13Jul 8, 2016Updated 9 years ago
- Invertible syntax for Scala.☆13Oct 17, 2016Updated 9 years ago
- A Chess engine written in Common Lisp☆11Sep 26, 2013Updated 12 years ago
- Non-blocking AWS SDK for Scala exposing strongly-typed APIs built on top of http4s, fs2 and cats☆86Jun 20, 2018Updated 7 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆15Mar 24, 2023Updated 3 years ago
- simple scala command line options parsing☆17Jun 13, 2011Updated 15 years ago
- Higher kinded data in Scala☆21Mar 23, 2025Updated last year
- Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations o…☆16Oct 30, 2023Updated 2 years ago
- Rust implementation of Chess using WebSockets☆11May 7, 2016Updated 10 years ago
- Verification-Driven Development☆21Mar 26, 2021Updated 5 years ago
- In-memory distributed graph processing of trivially parallelizable graph algorithms.☆22Apr 17, 2013Updated 13 years ago
- Yausl : Yet Another Unit System Library for Scala☆16May 23, 2016Updated 10 years ago
- Rex 0.7 is now available, including a user manual at http://kenmcdonald.github.com/rex/.☆16Jun 26, 2011Updated 14 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.
- RaptorJIT: a dynamic system programming language (manuscript)☆17Jun 4, 2019Updated 7 years ago
- Automation for delivering keptn on microk8s for autonomous cloud workshops☆13Dec 2, 2022Updated 3 years ago
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Apr 16, 2024Updated 2 years ago
- Typesafe DSL for work with Aerospike Database☆40Apr 11, 2017Updated 9 years ago
- A Common Lisp toolkit to construct interface-aware yet standard-compliant debugger hooks.☆12Jan 2, 2025Updated last year
- Finagle SMTP client☆15Oct 2, 2015Updated 10 years ago
- A decentralized privacy-preserving messaging solution built on libp2p☆17Jun 13, 2023Updated 3 years ago
- prepl is a REPL implementation, also known as a Lisp listener☆14Jun 11, 2025Updated last year
- Functional Scala Cache☆62Dec 11, 2024Updated 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.
- ☆20Nov 9, 2019Updated 6 years ago
- Multiparty Session Types toolKit☆14May 7, 2025Updated last year
- WebView component from Mozilla for Android☆13May 15, 2015Updated 11 years ago
- A “functional programming” version of a To-Do List application written with the Cats library☆17Aug 12, 2019Updated 6 years ago
- Companion repository for 'No More Orphans'☆14Oct 13, 2022Updated 3 years ago
- Implementation for https://eprint.iacr.org/2025/1300☆44Sep 2, 2025Updated 9 months ago
- Paper and code for Gradient Descent: The Ultimate Optimizer☆24Oct 3, 2023Updated 2 years ago