Features of the Future
☆11Apr 6, 2021Updated 5 years ago
Alternatives and similar repositories for FeOFu
Users that are interested in FeOFu are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆26Nov 18, 2022Updated 3 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Sep 11, 2021Updated 5 years ago
- Haskell implementation of P4F Control-Flow Analysis☆22Jun 4, 2022Updated 4 years ago
- A language-generic implementation of equality saturation in Haskell☆22Dec 4, 2018Updated 7 years ago
- Fast file-hash DB☆10Mar 14, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- LEGO is a compiler-agnostic framework for algebraic memory layout specification and transformation, enabling high-performance kernels acr…☆13Sep 17, 2026Updated last month
- Lua backend for Idris 2☆28Aug 14, 2022Updated 4 years ago
- OpTion (Operator construcTion) is a Mathematica package for building operators in lattice QCD.☆17Oct 17, 2026Updated 3 weeks ago
- Library and tool for parsing .eventlog files from GHC☆37Aug 6, 2026Updated 3 months ago
- Bari is an advanced build management tool for .NET projects.☆11Aug 15, 2022Updated 4 years ago
- A software package for computation of sheaf cohomologies for line bundles on toric varieties.☆12Sep 26, 2025Updated last year
- Manifest manifold models with magical machinations.☆37Oct 26, 2025Updated last year
- Utilities for cospans, wiring diagrams, frobenius algebras , spans, en operads and petri nets along with more basic utilities for morphis…☆12May 21, 2025Updated last year
- GRIN backend for Idris2☆32Jul 3, 2022Updated 4 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.
- Rust interface to nlopt☆12Oct 2, 2020Updated 6 years ago
- Scala compile-time encoders for Spark☆27Feb 14, 2026Updated 8 months ago
- A procedural macro that generates chaining methods from non-chaining ones in an impl block.☆15Oct 30, 2018Updated 8 years ago
- ☆10May 20, 2022Updated 4 years ago
- Solutions to math olympiad problems in Isabelle/HOL☆12May 29, 2021Updated 5 years ago
- Datatypes as quotients of polynomial functors☆42May 4, 2020Updated 6 years ago
- Color highlighting for Haskell profiling information☆40Sep 30, 2021Updated 5 years ago
- ICFP tutorial☆39Jul 31, 2021Updated 5 years ago
- Repository that converts Rust struct to Elm Types☆12Sep 10, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- A template for idris projects☆11Jun 27, 2021Updated 5 years ago
- Generic functions for single-sorted first-order structural unification☆46Oct 1, 2026Updated last month
- Example language server (LSP) implementation for a toy language☆60Jul 21, 2021Updated 5 years ago
- High-level Python API for the EBRAINS Knowledge Graph☆14Updated this week
- ☆11Sep 19, 2017Updated 9 years ago
- Isovector nucleon axial coupling☆12Dec 12, 2023Updated 2 years ago
- BDD-based implementation of Datalog☆38Jun 14, 2020Updated 6 years ago
- LatexMk-based tool to build Latex documents from cmake☆15Sep 29, 2026Updated last month
- 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.
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆17Jan 7, 2022Updated 4 years ago
- A lattice QCD library.☆17Updated this week
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 9 years ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆20Sep 28, 2026Updated last month
- Gauge Link Utility (GLU) is a lattice field theory library.☆17Aug 25, 2026Updated 2 months ago
- GRIN backend for Idris☆50Apr 11, 2020Updated 6 years ago
- A server for the forester tool☆19Dec 10, 2024Updated last year