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
- Lua backend for Idris 2☆28Aug 14, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Library and tool for parsing .eventlog files from GHC☆37Aug 6, 2026Updated 2 months ago
- Manifest manifold models with magical machinations.☆37Oct 26, 2025Updated 11 months ago
- Rust interface to nlopt☆12Oct 2, 2020Updated 6 years ago
- A procedural macro that generates chaining methods from non-chaining ones in an impl block.☆15Oct 30, 2018Updated 7 years ago
- GRIN backend for Idris2☆32Jul 3, 2022Updated 4 years ago
- Scala compile-time encoders for Spark☆27Feb 14, 2026Updated 8 months 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☆41May 4, 2020Updated 6 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.
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- Color highlighting for Haskell profiling information☆40Sep 30, 2021Updated 5 years ago
- ICFP tutorial☆39Jul 31, 2021Updated 5 years ago
- High-level Python API for the EBRAINS Knowledge Graph☆14Oct 7, 2026Updated last week
- A software package for computation of sheaf cohomologies for line bundles on toric varieties.☆12Sep 26, 2025Updated last year
- 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
- A lattice QCD library.☆17Updated this week
- Automatic Differentiation using Pseudo Lenses. Neat.☆21Feb 7, 2020Updated 6 years ago
- 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.
- Generic functions for single-sorted first-order structural unification☆46Oct 1, 2026Updated 2 weeks ago
- Example language server (LSP) implementation for a toy language☆60Jul 21, 2021Updated 5 years ago
- ☆39Oct 19, 2017Updated 8 years ago
- Gauge Link Utility (GLU) is a lattice field theory library.☆16Aug 25, 2026Updated last month
- Isovector nucleon axial coupling☆12Dec 12, 2023Updated 2 years ago
- ☆11Sep 19, 2017Updated 9 years ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆19Sep 28, 2026Updated 2 weeks ago
- Rough REST client/server prototypes for SESE's Order Manager.☆12May 29, 2017Updated 9 years ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆17Jan 7, 2022Updated 4 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.
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 9 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 2 weeks ago
- optimising compiler for Haskell's intermediate representation (STG) to LLVM IR☆32May 15, 2019Updated 7 years ago
- GRIN backend for Idris☆50Apr 11, 2020Updated 6 years ago
- C++ library for semigroups and monoids☆72Oct 10, 2026Updated last week
- USB to CAN with STM32F103☆14Dec 25, 2023Updated 2 years ago