2016rshah / heckle
Jekyll in Haskell (feat. LaTeX)
☆93Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for heckle
- A book on programming languages, using Haskell☆165Updated 3 years ago
- twitter clone in haskell☆12Updated 8 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 7 years ago
- Beautiful, interactive visualizations of logical inference☆150Updated 3 years ago
- An Experiment in Haskell Symbolic Algebra☆72Updated 12 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆48Updated 4 years ago
- A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]☆162Updated 3 weeks ago
- Source code of my personal home page.☆123Updated 2 months ago
- gallery of themes for hakyll static site generator☆84Updated 5 years ago
- A library for formalizing Haskell types and functions in Coq☆168Updated last year
- Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…☆139Updated 2 months ago
- haskell neural network library☆112Updated 7 years ago
- Interactive theorem proving with Coq in vim.☆186Updated 4 years ago
- Preprocessor for typesetting Haskell sources with LaTeX☆99Updated 11 months ago
- Elsa is a lambda calculus evaluator☆181Updated 5 months ago
- Running the code you want to write as fast as the code you have to write☆139Updated 8 years ago
- notes on where to find Haskell tutorials and tips to complete them☆118Updated 6 years ago
- Richard A. Eisenberg's PhD Dissertation☆207Updated 6 years ago
- Numerical computation in native Haskell☆88Updated 4 years ago
- Let GHC prove program equations for you☆145Updated 6 years ago
- Generate Haskell code from a type☆129Updated last year
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 2 months ago
- Collection of Idris tests and demonstration programs☆190Updated 6 years ago
- Source code of summer.haskell.org☆86Updated 8 months ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 7 years ago
- A very simple coq layer for spacemacs☆36Updated 5 years ago
- Summer school on programming in Agda☆68Updated last year
- The Haskell LaTeX library.☆199Updated last year