2016rshah / heckle
Jekyll in Haskell (feat. LaTeX)
☆93Updated 7 years ago
Alternatives and similar repositories for heckle:
Users that are interested in heckle are comparing it to the libraries listed below
- twitter clone in haskell☆12Updated 8 years ago
- gallery of themes for hakyll static site generator☆85Updated 5 years ago
- Interactive theorem proving with Coq in vim.☆186Updated 4 years ago
- notes on where to find Haskell tutorials and tips to complete them☆119Updated 6 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 7 years ago
- Source code of my personal home page.☆123Updated last month
- ☆96Updated 10 years ago
- An Experiment in Haskell Symbolic Algebra☆72Updated 12 years ago
- Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…☆139Updated 4 months ago
- haskell neural network library☆112Updated 7 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 7 years ago
- Live Haskell coding problems☆39Updated 9 years ago
- LaTeX class and template for typesetting math homework☆94Updated 4 years ago
- Math-themed single-serving site☆46Updated 3 years ago
- Preflight checklist for Haskell code. Aspire to greatness!☆68Updated 8 years ago
- Source code of summer.haskell.org☆88Updated last week
- Brent Yorgey's CIS 194: Introduction to Haskell☆20Updated 9 years ago
- Introduction to Haskell, CS 1501 Lecture slides☆49Updated 10 years ago
- the source for my personal site, written in Haskell, powered by Hakyll☆47Updated 3 years ago
- hoodle : A pen notetaking program written in haskell☆146Updated last year
- The Haskell LaTeX library.☆199Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- a collection of cellular automata written in Haskell with Diagrams☆187Updated 5 years ago
- Haskell Language Report☆91Updated 4 years ago
- 1 Haskell A Day exercises☆118Updated 10 years ago
- A book on programming languages, using Haskell☆165Updated 3 years ago
- Beautiful, interactive visualizations of logical inference☆150Updated 3 years ago
- Preprocessor for typesetting Haskell sources with LaTeX☆101Updated last year
- A web site for converting haskell code into pointfree haskell code☆162Updated 2 years ago