Knowledge of classical mechanics, written in haskell.
☆14Feb 11, 2013Updated 13 years ago
Alternatives and similar repositories for physics-inhaskell
Users that are interested in physics-inhaskell are comparing it to the libraries listed below
Sorting:
- Concurrent and efficient implementation of statsd in Haskell☆19Feb 12, 2014Updated 12 years ago
- lazy continued fractions☆19Aug 5, 2015Updated 10 years ago
- Abstactions and concrete implementations of mutable containers☆13Jul 4, 2016Updated 9 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆46Oct 18, 2022Updated 3 years ago
- A streaming cross-cat inference engine☆49Dec 19, 2014Updated 11 years ago
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆36May 14, 2017Updated 8 years ago
- For Github Data Challenge 2014☆50Sep 17, 2014Updated 11 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Jul 25, 2018Updated 7 years ago
- Binary streaming library for Postgres data pipelines☆17Oct 2, 2019Updated 6 years ago
- A fast Haskell client library for the Riak decentralized data store☆50Apr 1, 2023Updated 2 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Oct 4, 2020Updated 5 years ago
- Automatically make lenses from data structures implementing Generic☆26Feb 14, 2015Updated 11 years ago
- Generate recurring dates.☆17Jan 15, 2024Updated 2 years ago
- fast unique variables☆10Aug 23, 2025Updated 6 months ago
- Robust persistence for typed immutable data☆16Nov 5, 2016Updated 9 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- My own little "24 Days of Hackage" for 2015☆62Dec 7, 2016Updated 9 years ago
- Accepted papers for ICFP 2014☆119May 19, 2016Updated 9 years ago
- MPI bindings for Haskell☆46Apr 1, 2023Updated 2 years ago
- Slides from my Wellington FP Users Group presentation on Yesod☆15May 14, 2011Updated 14 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Jul 9, 2020Updated 5 years ago
- Symbolic logic expressions☆15Jul 1, 2020Updated 5 years ago
- Haskell generic interface (type classes) for cryptographic algorithms☆29Jun 16, 2017Updated 8 years ago
- Haskell implementations of various ML algorithms.☆60May 29, 2014Updated 11 years ago
- Simple lambda prover☆24Jul 6, 2015Updated 10 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- Some standalone stream fusion experiments☆13Feb 28, 2016Updated 10 years ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- a Coq toolkit for graph theory☆14Oct 18, 2020Updated 5 years ago
- Deep evaluation of data structures without NFData☆10Jan 20, 2015Updated 11 years ago
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- haskell bindings for blas and lapack☆49Feb 3, 2018Updated 8 years ago
- Astronomical coordinates for various projections in Javascript☆24Jan 7, 2016Updated 10 years ago
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21May 4, 2015Updated 10 years ago
- ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory☆17Aug 22, 2024Updated last year
- Quandl.com API implementation in Haskell☆17Jul 3, 2021Updated 4 years ago
- Gidl: an Interface Description Language☆10Aug 11, 2017Updated 8 years ago
- Cryptographic library for Haskell☆69Feb 18, 2025Updated last year
- Compositional type checking for Haskell☆38Apr 14, 2011Updated 14 years ago