2016rshah / heckleLinks
Jekyll in Haskell (feat. LaTeX)
☆93Updated 8 years ago
Alternatives and similar repositories for heckle
Users that are interested in heckle are comparing it to the libraries listed below
Sorting:
- twitter clone in haskell☆12Updated 9 years ago
- Cheat Sheets for programming languages and tools☆115Updated last month
- A book on programming languages, using Haskell☆167Updated 4 years ago
- reddit api for haskell☆76Updated 3 years ago
- haskell neural network library☆113Updated 8 years ago
- Beautiful, interactive visualizations of logical inference☆150Updated 4 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- A friendly IRC bot and apprentice coder, written in Haskell.☆166Updated last month
- Elsa is a lambda calculus evaluator☆191Updated 2 months ago
- Generate Haskell code from a type☆146Updated 10 months ago
- Preflight checklist for Haskell code. Aspire to greatness!☆68Updated 9 years ago
- Preprocessor for typesetting Haskell sources with LaTeX☆104Updated this week
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆89Updated 8 years ago
- Source code of my personal home page.☆124Updated last month
- notes on where to find Haskell tutorials and tips to complete them☆120Updated 7 years ago
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 6 years ago
- Source code of summer.haskell.org☆95Updated this week
- Interactive theorem proving with Coq in vim.☆185Updated 5 years ago
- Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…☆154Updated last year
- Diagrams standard library☆140Updated last month
- 15-819 (Homotopy Type Theory) Lecture Notes☆56Updated 5 years ago
- A Haskell implementation of the Jupyter messaging protocol☆41Updated 5 years ago
- The Haskell LaTeX library.☆199Updated 2 years ago
- A web site for converting haskell code into pointfree haskell code☆165Updated 3 years ago
- gallery of themes for hakyll static site generator☆86Updated 6 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- hoodle : A pen notetaking program written in haskell☆146Updated 2 years ago
- Numerical is the core library for Numerical Haskell☆139Updated last year
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- GHC plugin that improves Haskell code's numerical stability☆194Updated 10 years ago