nushio3 / ParaisoView external linksLinks
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:
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- ☆14Apr 9, 2017Updated 8 years ago
- ☆13Jul 24, 2021Updated 4 years ago
- Basic graph theory algorithms☆16Aug 15, 2017Updated 8 years ago
- YAJL-Fort: A modern Fortran interface to the YAJL library☆11Oct 1, 2025Updated 4 months ago
- C++ implementation of the DMRG algorithm for teaching purposes☆12Mar 10, 2013Updated 12 years ago
- ☆32May 27, 2018Updated 7 years ago
- Compile time CAS(Computer Algebra System) for Haskell☆18Dec 16, 2025Updated last month
- Gidl: an Interface Description Language☆10Aug 11, 2017Updated 8 years ago
- Haskell module for working with genetic algorithms☆18Nov 10, 2011Updated 14 years ago
- Soft realtime electrophysiology setup☆14Jan 8, 2016Updated 10 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
- Video import and export in Mathematica using Media Foundation☆11Aug 2, 2014Updated 11 years ago
- Code related to things I post about online☆21Mar 7, 2016Updated 9 years ago
- Utrecht Haskell Compiler☆42Apr 2, 2012Updated 13 years ago
- Modern Fortran wrappers around ScaLAPACK routines☆18Dec 17, 2025Updated last month
- Reverse-mode automatic differentiation with delimited continuations☆15Jul 3, 2023Updated 2 years ago
- Knowledge of classical mechanics, written in haskell.☆14Feb 11, 2013Updated 13 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Apr 5, 2025Updated 10 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
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆27Aug 14, 2014Updated 11 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- ☆24Jun 2, 2015Updated 10 years ago
- ☆22Apr 1, 2013Updated 12 years ago
- ☆21Dec 28, 2025Updated last month
- Interactive and object-oriented programming in Agda using coinductive types☆25Nov 29, 2025Updated 2 months ago
- Support scripts for continuous integration☆24Dec 30, 2025Updated last month
- 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 last month
- An abstract-interpretation based static analyzer written in Scala.☆33Mar 23, 2022Updated 3 years ago
- Mathematica library link wrapper for BVLC/Caffe☆20Oct 14, 2015Updated 10 years ago
- A Mathematica package for generating code for solving time dependent partial differential equations☆32May 23, 2025Updated 8 months ago
- ☆29Sep 14, 2015Updated 10 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 3 months ago
- CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles☆33Nov 30, 2016Updated 9 years ago
- ☆28Jun 18, 2020Updated 5 years ago
- Learning Algebraic Varieties from Samples☆24Jan 5, 2024Updated 2 years ago
- High-performance Flux Transport☆35Feb 6, 2026Updated last week