Micket / chalmersLinks
Styles for LaTeX, beamer for Chalmers University of Technology
☆47Updated 7 years ago
Alternatives and similar repositories for chalmers
Users that are interested in chalmers are comparing it to the libraries listed below
Sorting:
- FEECa: Finite Element Exterior Calculus in Haskell☆34Updated 6 years ago
- Fortran parsing and static analysis infrastructure☆58Updated last week
- Some operator abuse☆29Updated 8 years ago
- Numerical computation in native Haskell☆92Updated 3 weeks ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 10 months ago
- Python wrapper around pdflatex☆30Updated 9 years ago
- Light-weight verification and transformation tools for Fortran☆140Updated last week
- Haskell parser and manipulation functions for Fortran code☆17Updated 9 years ago
- Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…☆154Updated last year
- General-Purpose Computer Algebra System as an EDSL in Haskell☆95Updated last year
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Updated last year
- The "sc" auxiliary library☆38Updated this week
- Some accompanying lectures notes and resources for CO519 - Theory of Computing (Logic) at the School of Computing, University of Kent.☆18Updated 5 years ago
- Low-level typesafe HDF5 bindings☆28Updated 12 years ago
- The Haskell LaTeX library.☆199Updated 2 years ago
- Numerical is the core library for Numerical Haskell☆139Updated last year
- A geometric algebra implementation in Haskell☆32Updated 5 years ago
- Free group automorphisms and train-track representative in python/sage☆12Updated 4 months ago
- Exact real arithmetic in C++☆50Updated 5 years ago
- Disciplined Convex Programming in Haskell☆23Updated last year
- An elegant implementation of discrete diffgeo in haskell☆34Updated 6 years ago
- C++ library for semigroups and monoids☆64Updated 2 weeks ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Updated 5 years ago
- haskell bindings for blas and lapack☆49Updated 8 years ago
- Playing around with multicategories and operads☆16Updated 10 years ago
- HQuantLib, financial math in Haskell☆67Updated last year
- Generate commutative diagrams inside of Pandoc with Tikz☆34Updated 8 years ago
- Coq code accompanying several articles on semantics of functional programming languages☆11Updated 7 years ago
- A very simple coq layer for spacemacs☆37Updated 6 years ago
- High-level framework for stencil computations☆40Updated 10 years ago