Simple LaTeX
☆17Apr 26, 2024Updated 2 years ago
Alternatives and similar repositories for simplex
Users that are interested in simplex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Matrix operations in 100% pure Haskell☆34Nov 28, 2023Updated 2 years ago
- Command Line Interface Utility (Printing, Formatting, Options parsing) for Haskell☆23Jul 1, 2019Updated 6 years ago
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 6 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- A .NET Bridge for Haskell☆24Aug 26, 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.
- ZeroMQ transport for distributed-process (aka Cloud Haskell)☆24Jun 7, 2016Updated 10 years ago
- compile-time typechecked sql literals for doobie☆20Sep 6, 2018Updated 7 years ago
- Haskell numerical ODE solvers☆14Aug 21, 2017Updated 8 years ago
- Create DOM event handlers that write to listeners☆22May 15, 2016Updated 10 years ago
- Low-level typesafe HDF5 bindings☆28Feb 22, 2013Updated 13 years ago
- optimising compiler for Haskell's intermediate representation (STG) to LLVM IR☆32May 15, 2019Updated 7 years ago
- On-demand provisioning tool for Hydra☆30Apr 25, 2019Updated 7 years ago
- Pretty printer for Scala type errors☆13Jan 1, 2017Updated 9 years ago
- Typesafe, composable SQL in haskell - Talk given at BFPG 2015-09☆11Sep 12, 2015Updated 10 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.
- hmetafont is a DSL for creating variable fonts in haskell, inspired by metafont☆11Dec 18, 2016Updated 9 years ago
- Hashing with SL2 for Haskell☆20Nov 29, 2019Updated 6 years ago
- Sparse matrix linear equation solver, using the Conjugate Gradient algorithm☆16Sep 5, 2020Updated 5 years ago
- ☆29Updated this week
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 10 years ago
- A simplified implementation of Erlang/OTP like supervisor for GHC thread☆16Oct 29, 2020Updated 5 years ago
- ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory☆17Aug 22, 2024Updated last year
- Fixed length vector for haskell☆22Feb 28, 2026Updated 3 months ago
- Lightweight Scala.js promise implementation that does not violate parametricity☆17Jun 4, 2020Updated 6 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.
- Haskell bindings to the Java Native Interface☆38Oct 10, 2016Updated 9 years ago
- GNU Hyperbole: The Everyday Hypertextual Information Manager☆11Updated this week
- Haskell library for terminal interaction (without terminfo dependency but with Windows support)☆23Feb 28, 2024Updated 2 years ago
- Conflict is a small esoteric language giving semantics to git merge conflicts☆15May 13, 2020Updated 6 years ago
- Opt - AnyVal Option-like type☆10Jan 7, 2017Updated 9 years ago
- ☆20Apr 15, 2024Updated 2 years ago
- https://adventofcode.com/☆15Jan 9, 2026Updated 5 months ago
- Bindings for Facebook's API.☆48Dec 21, 2016Updated 9 years ago
- A tiny toolkit for interactive Rust applications.☆11Feb 10, 2019Updated 7 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.
- Easy JSON formats for any case classes, for Scala, ScalaJS and Scala Native☆11Sep 12, 2018Updated 7 years ago
- Probabilistic Logic Semantics☆17Feb 10, 2017Updated 9 years ago
- ☆10Apr 27, 2022Updated 4 years ago
- An sbt plugin that backports parts of sbt 1's public API on top of sbt 0.13 implementation☆17Jul 20, 2023Updated 2 years ago
- Skeleton project that builds with any of the three major build tools.☆15Dec 4, 2016Updated 9 years ago
- A modern, secure and privacy-friendly platform to establish your decentralized online identity☆16Aug 20, 2020Updated 5 years ago
- A repo to experiment with Continuation<R, A> implementations in Kotlin☆13Mar 29, 2022Updated 4 years ago