nushio3 / Paraiso
a Parallel Integration Scheme Organizer for partial differential equations solvers
☆49Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for Paraiso
- MPI bindings for Haskell☆46Updated last year
- haskell bindings for blas and lapack☆49Updated 6 years ago
- Haskell bindings to the LLVM compiler infrastructure project.☆105Updated 4 years ago
- The Parser Generator for Haskell☆93Updated 9 years ago
- Slides from my Wellington FP Users Group presentation on Yesod☆15Updated 13 years ago
- DEPRECATED: Accelerate backend for NVIDIA GPUs☆57Updated 7 years ago
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- Haskell to Javascript compiler (via GHC)☆20Updated 4 years ago
- Ugly prototype language for strongly typed, lazy, purely functional client side web scripting☆25Updated 7 years ago
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆21Updated 7 years ago
- A support vector machine implemented in Haskell.☆33Updated 13 years ago
- ICFP Programming Contest 2011 repository☆24Updated 13 years ago
- An Experiment in Haskell Symbolic Algebra☆72Updated 12 years ago
- Template Haskell Implementation of Egison Pattern Matching☆32Updated 4 years ago
- Multidimensional arrays and simple tensor computations☆38Updated 7 months ago
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆56Updated 13 years ago
- Materials for category theory seminar☆27Updated 10 months ago
- A Haskell based awk and sed alternative☆67Updated 6 years ago
- Numerical computation in native Haskell☆88Updated 4 years ago
- An implementation of Functional Reactive Programming☆41Updated 9 years ago
- Haskell FFI bindings to CUDA☆75Updated last year
- Units of measure as a GHC typechecker plugin☆30Updated 2 years ago
- Perl6 User's Golfing System in Haskell☆36Updated 12 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 2 months ago
- ☆35Updated 12 years ago
- Sirkel; a Chord DHT in haskell. Node failure, replication and batteries included!☆21Updated 11 years ago
- A compiler for Coq☆26Updated 11 years ago
- Copy of the new Hackage server code☆13Updated 12 years ago
- The free game engine☆64Updated 2 years ago