Multivariable calculus course materials
☆56Jul 17, 2015Updated 10 years ago
Alternatives and similar repositories for m2o2c2
Users that are interested in m2o2c2 are comparing it to the libraries listed below
Sorting:
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 7 years ago
- Haskell numerical ODE solvers☆14Aug 21, 2017Updated 8 years ago
- Calculus textbooks for University of Lethbridge☆11Aug 8, 2019Updated 6 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago
- Timing attack resistant type systems☆24May 13, 2015Updated 10 years ago
- This will, one day, be a Haskell implementation of Cap'n Proto.☆11Feb 21, 2016Updated 10 years ago
- Fine-grained lattice primitives for Haskell☆18Mar 8, 2018Updated 7 years ago
- Haskell bindings to the Eigen C++ library☆16May 23, 2024Updated last year
- QuasiQuoter for GHCJS JavaScript FFI☆20Jul 1, 2016Updated 9 years ago
- Variational Autoencoders & Normalizing Flows Project☆18Dec 16, 2016Updated 9 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆21Jun 3, 2022Updated 3 years ago
- Tools for working with regular grids/graphs/lattices.☆108Sep 3, 2022Updated 3 years ago
- Extended Kalman filtering in Haskell☆23Oct 31, 2018Updated 7 years ago
- OpenGL NeHe tutorials converted to Haskell☆36Jul 11, 2013Updated 12 years ago
- Applied Numerical Computing Course☆31May 6, 2025Updated 10 months ago
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆28Dec 29, 2023Updated 2 years ago
- topos programming☆31Sep 20, 2018Updated 7 years ago
- Beseder: make impossible state transitions impossible☆31Mar 21, 2020Updated 5 years ago
- ☆33Jan 14, 2021Updated 5 years ago
- A topology textbook with a hubristic title☆31Jan 13, 2016Updated 10 years ago
- Discrete Object Generation with Reversible Inductive Construction (NeurIPS 2019)☆30Feb 28, 2021Updated 5 years ago
- A redistributable subset of the ETH Py150 corpus [https://www.sri.inf.ethz.ch/py150], introduced in the ICML 2020 paper 'Learning and Eva…☆32Aug 11, 2020Updated 5 years ago
- Denoising Variational Autoencoder☆35Feb 11, 2017Updated 9 years ago
- A python library for simulating field theories with topological defects☆14Feb 3, 2026Updated last month
- Collection of scientific old books digitized into LaTeX.☆41May 27, 2022Updated 3 years ago
- All things manipulating, quantifying, and visualizing geochemical data☆13Jan 19, 2024Updated 2 years ago
- This module includes functions that can be used to simulate mechanochemical phenomena.☆11Nov 16, 2021Updated 4 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Apr 4, 2022Updated 3 years ago
- Fine-grained lattice primitives for Haskell☆38Jul 1, 2025Updated 8 months ago
- ☆41Feb 10, 2026Updated 3 weeks ago
- Pure-Haskell proper unicode string handling☆15Jun 5, 2016Updated 9 years ago
- Detect interesting SARS-CoV-2 spike protein variants from Sanger sequencing data.☆11Apr 15, 2022Updated 3 years ago
- SipDemo made to illustrate the VoIP over the Android device.☆11Feb 6, 2014Updated 12 years ago
- Bayesian power spectral analysis tools☆15Jul 18, 2016Updated 9 years ago
- Graph neural network for predicting energy of known and hypothetical crystal structures☆10Jan 26, 2022Updated 4 years ago
- Navier-Stokes implementation for Processing based on Jos Stam work☆13Feb 1, 2019Updated 7 years ago
- Fragment Graphical Variational AutoEncoding for Screening and Generating Molecules☆14Nov 21, 2022Updated 3 years ago
- Nehe Tutorials in Clojure using Penumbra☆29Sep 21, 2010Updated 15 years ago