☆17Aug 7, 2023Updated 3 years ago
Alternatives and similar repositories for finally-tagless
Users that are interested in finally-tagless are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple unit system for Rust☆11Feb 24, 2017Updated 9 years ago
- ☆10Mar 15, 2019Updated 7 years ago
- Full OS in Rust with minimal dependencies☆20Jul 18, 2026Updated 3 months ago
- Interactive playing with Math in Scala☆10Jan 4, 2017Updated 9 years ago
- A GUI toolkit designed to act as an underlying drawing toolkit, among other things. Currently in alpha.☆15Aug 3, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆14Mar 1, 2020Updated 6 years ago
- Portals in form of a Mobius strip.☆15Nov 2, 2021Updated 5 years ago
- OKCJUG presentation stuff☆12Jul 11, 2018Updated 8 years ago
- Compiler for the (rather new and very experimental) Y programming language.☆14Aug 19, 2025Updated last year
- Tarjan's zip trees implemented in Rust☆12May 13, 2024Updated 2 years ago
- A minimal reference implementation of automatic differentiation in Rust☆17Sep 23, 2022Updated 4 years ago
- Source code and logic to build Luau for Rust☆11Updated this week
- ☆24Apr 5, 2023Updated 3 years ago
- A Rusty CUDA wrapper☆39Dec 19, 2021Updated 4 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.
- SQA, the Stuttery QLab Alternative - an in-development application for live audio in theatres and staged productions.☆17Nov 18, 2017Updated 8 years ago
- Tools to change the formatting of field names in Aeson instances.☆16Mar 28, 2019Updated 7 years ago
- A native Rust library for advanced Linear Algebra routines☆25Mar 15, 2023Updated 3 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆11Feb 13, 2025Updated last year
- Obtain the number of threads in the current process☆18Oct 18, 2026Updated 2 weeks ago
- Lisp compiler using Rust☆22Dec 4, 2023Updated 2 years ago
- Interactive overview of common sorting algorithms, data structures, and miscellaneous algorithm challenges, implemented in JavaScript☆14Nov 5, 2017Updated 9 years ago
- Source of BLAS via BLIS☆13May 24, 2026Updated 5 months ago
- Rust implementation of Python dependency parser for PEP 508☆24Jul 25, 2026Updated 3 months 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.
- Typeclasses for representing monad (transformer) morphisms☆14Oct 21, 2018Updated 8 years ago
- Clojure RETE implementation☆10Nov 12, 2013Updated 12 years ago
- Work-in-progress Unicode paragraph layout library written in Rust☆13Jun 7, 2018Updated 8 years ago
- ☆18Sep 29, 2022Updated 4 years ago
- Literal programming tool☆11Jan 3, 2019Updated 7 years ago
- ☆13Aug 6, 2026Updated 3 months ago
- Draw text for gfx using freetype☆22Oct 11, 2026Updated 3 weeks ago
- Rust-style enums for python☆15Oct 10, 2023Updated 3 years ago
- Rust bindings for CoreServices framework☆10Aug 13, 2024Updated 2 years ago
- 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.
- fast utf-8 character sets☆14Mar 3, 2025Updated last year
- Machine learning library providing matrices, named tensors, linear algebra and autodiff aimed at being easy to use☆26Oct 21, 2026Updated 2 weeks ago
- Type-level integers for C#☆11Jan 12, 2024Updated 2 years ago
- Some snow using Rust and WebAssembly.☆17Mar 2, 2023Updated 3 years ago
- Finger tree data structure for JavaScript☆27Aug 19, 2025Updated last year
- The old bow and arrow windows game recreated with Ruby and Shoes☆15Sep 12, 2015Updated 11 years ago
- Regular expression derivatives and DFAs☆12Dec 26, 2023Updated 2 years ago