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 5 years ago
- Fortran parsing and static analysis infrastructure☆58Updated last week
- Light-weight verification and transformation tools for Fortran☆139Updated last week
- Python wrapper around pdflatex☆30Updated 9 years ago
- C++ library for semigroups and monoids☆63Updated last week
- Haskell parser and manipulation functions for Fortran code☆17Updated 9 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆93Updated last year
- Some accompanying lectures notes and resources for CO519 - Theory of Computing (Logic) at the School of Computing, University of Kent.☆18Updated 5 years ago
- Numerical computation in native Haskell☆91Updated 5 years ago
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Updated 9 years ago
- Enter Unicode characters using LaTeX notation☆95Updated last year
- Some operator abuse☆29Updated 7 years ago
- Free group automorphisms and train-track representative in python/sage☆12Updated last month
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Updated last year
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 6 months ago
- Commutative diagrams with TikZ☆53Updated 3 years ago
- ☆47Updated 2 years ago
- a Parallel Integration Scheme Organizer for partial differential equations solvers☆50Updated 9 years ago
- collaboration on work in progress☆15Updated 14 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated 3 weeks ago
- Mathematical Components (the Book)☆147Updated last week
- Numerical is the core library for Numerical Haskell☆139Updated last year
- ☆56Updated 5 months ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…☆154Updated last year
- Low-level typesafe HDF5 bindings☆28Updated 12 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Schemes in Lean (v2)☆44Updated 5 years ago
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆39Updated 4 years ago