contains a package in Haskell to calculate the electronic structure properties of molecules using the Hartree-Fock method
☆17Jan 25, 2017Updated 9 years ago
Alternatives and similar repositories for Haskell-abinitio
Users that are interested in Haskell-abinitio are comparing it to the libraries listed below
Sorting:
- do the Fourier transform using the method of Padé approximants☆23Nov 4, 2024Updated last year
- Add a hspec test-suite in one command☆10Aug 22, 2016Updated 9 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 7 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- Building Petri Nets in Javascript using Interaction Category semantics☆14Feb 1, 2017Updated 9 years ago
- Haskell bindings to Apache Arrow☆12Aug 21, 2018Updated 7 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- Distributed Data Structures in Coq☆49Oct 7, 2013Updated 12 years ago
- Stock Market Visualization in Haskell and Qt Quick☆21Dec 15, 2014Updated 11 years ago
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Aug 29, 2021Updated 4 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Feb 7, 2020Updated 6 years ago
- Haskell bindings to glpk☆13Jun 10, 2024Updated last year
- Haskell library for representing and manipulating Symbolic Regression Tree☆16Feb 10, 2026Updated 2 weeks ago
- Learning Machine Learning☆13Aug 24, 2023Updated 2 years ago
- Foundational Verification of Hybrid Systems☆15Mar 23, 2017Updated 8 years ago
- Selective applicative functors laws and theorems☆15Mar 12, 2020Updated 5 years ago
- OpenRSP: open-ended response theory.☆16Aug 16, 2020Updated 5 years ago
- A fornalisation of Grobner basis in ssreflect☆12Jan 29, 2026Updated last month
- Staged Streams and other stuff☆19Jul 10, 2022Updated 3 years ago
- GPU-accelerated coupled cluster with density fitting☆18Jun 26, 2018Updated 7 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Aug 1, 2024Updated last year
- A Haskell client library for Cayley database graph☆14Jan 6, 2026Updated last month
- Deposited packages of the homalg project☆17Updated this week
- Read parquet format with Haskell☆18Oct 12, 2022Updated 3 years ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- ☆21Mar 21, 2022Updated 3 years ago
- SVG Combinators for Haskell☆23Jun 28, 2017Updated 8 years ago
- Examples of Haskell versions of Numpy usage☆18Mar 23, 2017Updated 8 years ago
- Modern Compiler Implementation in ML, in Haskell☆22May 29, 2021Updated 4 years ago
- Integration of the Warp webserver with Let's Encrypt☆19Mar 7, 2017Updated 8 years ago
- probabilistic programming in Haskell☆17Aug 26, 2016Updated 9 years ago
- Various examples of machine learning, in Haskell.☆20Feb 9, 2022Updated 4 years ago
- Automatic code generation of Fast Multipole and Barnes-Hut operators☆17Oct 25, 2022Updated 3 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 6 years ago
- the (very humble) beginnings of a kafka client for haskell☆21May 26, 2020Updated 5 years ago
- Learning about Haskell with Variational Autoencoders☆19Nov 16, 2019Updated 6 years ago
- An reimplementation of the Statistics.Sample Haskell module using the foldl package☆22May 6, 2024Updated last year