a Parallel Integration Scheme Organizer for partial differential equations solvers
☆50Oct 9, 2016Updated 9 years ago
Alternatives and similar repositories for Paraiso
Users that are interested in Paraiso are comparing it to the libraries listed below
Sorting:
- ☆14Apr 9, 2017Updated 8 years ago
- ☆13Jul 24, 2021Updated 4 years ago
- YAJL-Fort: A modern Fortran interface to the YAJL library☆11Oct 1, 2025Updated 5 months ago
- C++ implementation of the DMRG algorithm for teaching purposes☆12Mar 10, 2013Updated 12 years ago
- ☆32May 27, 2018Updated 7 years ago
- Haskell module for working with genetic algorithms☆18Nov 10, 2011Updated 14 years ago
- Compile time CAS(Computer Algebra System) for Haskell☆18Dec 16, 2025Updated 2 months ago
- Gidl: an Interface Description Language☆10Aug 11, 2017Updated 8 years ago
- Soft realtime electrophysiology setup☆14Jan 8, 2016Updated 10 years ago
- Please refer to the official version of cddlib on github instead.☆13May 1, 2018Updated 7 years ago
- Video import and export in Mathematica using Media Foundation☆11Aug 2, 2014Updated 11 years ago
- Leg is a Lua library which offers a complete Lua 5.1 grammar, along with some functions to use and modify it.☆20Nov 21, 2018Updated 7 years ago
- Utrecht Haskell Compiler☆42Apr 2, 2012Updated 13 years ago
- Reverse-mode automatic differentiation with delimited continuations☆15Jul 3, 2023Updated 2 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆27Aug 14, 2014Updated 11 years ago
- Modern Fortran wrappers around ScaLAPACK routines☆18Updated this week
- Knowledge of classical mechanics, written in haskell.☆14Feb 11, 2013Updated 13 years ago
- Coordinate-free hypersurfaces as Haskell types☆42Apr 5, 2025Updated 11 months ago
- Scheme Compiler based on Henry Baker's Cheney on the M.T.A. concept☆23Sep 29, 2011Updated 14 years ago
- Unlikely Scheme: A small Scheme interpreter☆22May 28, 2011Updated 14 years ago
- quotient types in cubical Agda☆24Feb 4, 2019Updated 7 years ago
- ☆21Jan 29, 2023Updated 3 years ago
- ☆22Apr 1, 2013Updated 12 years ago
- ☆24Jun 2, 2015Updated 10 years ago
- ☆34Dec 3, 2011Updated 14 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- ☆21Dec 28, 2025Updated 2 months ago
- Repository for code featured in "Machine Learning Assisted Optimization Methods for Automated Antenna Design"☆10Dec 28, 2024Updated last year
- Interactive and object-oriented programming in Agda using coinductive types☆25Nov 29, 2025Updated 3 months ago
- The Scotch programming language☆44Oct 1, 2012Updated 13 years ago
- Framework for running and organising QuickCheck test properties and HUnit test cases☆25Jan 5, 2026Updated 2 months ago
- An abstract-interpretation based static analyzer written in Scala.☆33Mar 23, 2022Updated 3 years ago
- OCaml API search allows you to search many standard O'Caml libraries by either function name, or by approximate type signature. It is sim…☆38Feb 16, 2013Updated 13 years ago
- ☆29Sep 14, 2015Updated 10 years ago
- ☆28Jun 18, 2020Updated 5 years ago
- Radiative transfer code based on the multi-level approximate lambda iteration formalism of Rybicki & Hummer (1991, 1992). The code solve…☆30Oct 30, 2025Updated 4 months ago
- CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles☆36Nov 30, 2016Updated 9 years ago
- topos programming☆31Sep 20, 2018Updated 7 years ago
- Learning Algebraic Varieties from Samples☆24Jan 5, 2024Updated 2 years ago