Simple LaTeX
☆17Apr 26, 2024Updated last year
Alternatives and similar repositories for simplex
Users that are interested in simplex are comparing it to the libraries listed below
Sorting:
- Matrix operations in 100% pure Haskell☆34Nov 28, 2023Updated 2 years ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- Pretty printer for Scala type errors☆13Jan 1, 2017Updated 9 years ago
- A .NET Bridge for Haskell☆24Aug 26, 2016Updated 9 years ago
- Configure dzen2 bars in Dhall language☆24Feb 18, 2020Updated 6 years ago
- Command Line Interface Utility (Printing, Formatting, Options parsing) for Haskell☆23Jul 1, 2019Updated 6 years ago
- optimising compiler for Haskell's intermediate representation (STG) to LLVM IR☆32May 15, 2019Updated 6 years ago
- On-demand provisioning tool for Hydra☆30Apr 25, 2019Updated 6 years ago
- A native binding generator for the Scala language.☆35Jul 17, 2017Updated 8 years ago
- Repository of the Mainframe SIG - Our aim is to enable OpenTelemetry for the Mainframe.☆13Jun 9, 2025Updated 8 months ago
- Summoner's core SDK for building and deploying agents☆13Feb 18, 2026Updated last week
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- Import entities from another Wikibase instance (e.g. Wikidata)☆13May 21, 2023Updated 2 years ago
- Proximal Asynchronous SAGA☆13Nov 30, 2017Updated 8 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Scala collection views meet Transducers hype☆41Oct 13, 2015Updated 10 years ago
- ☆11Aug 17, 2022Updated 3 years ago
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆13Aug 22, 2019Updated 6 years ago
- An llm wrapper for OpenAI☆12Dec 14, 2024Updated last year
- A configuration language written for the modern apps☆10Sep 27, 2017Updated 8 years ago
- ☆10Updated this week
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated 3 weeks ago
- Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feat…☆13Jun 13, 2020Updated 5 years ago
- 实验室找工作交流☆10Oct 16, 2015Updated 10 years ago
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Feb 15, 2024Updated 2 years ago
- Neuroevolution of Augmented Topologies (NEAT) -- in Haskell☆12Jun 15, 2017Updated 8 years ago
- Simple reactive state tracking for Flutter☆10Jun 12, 2023Updated 2 years ago
- A command-line tool for creating and managing AngularDart apps.☆10Oct 28, 2022Updated 3 years ago
- The Coding Space Projects☆13Feb 18, 2026Updated last week
- profiling gemm on android☆10Apr 1, 2016Updated 9 years ago
- Code and data for Veridicality classifier on Twitter☆11May 23, 2018Updated 7 years ago
- Methods for the manipulation of geometric data, grid generation, and visualization formatting.☆13Jan 28, 2026Updated last month
- A simple pure LRU cache written in Haskell☆19Dec 3, 2018Updated 7 years ago
- Minimalist crate for deterministic binary encodings in Rust☆11Nov 19, 2024Updated last year
- This repository is the summary of all of our works for the XLA.☆11Jan 14, 2018Updated 8 years ago
- ☆15Nov 20, 2024Updated last year
- A tiny toolkit for interactive Rust applications.☆11Feb 10, 2019Updated 7 years ago
- ipython notebooks for learning how to use SimpleITK☆14Apr 14, 2017Updated 8 years ago