adam-mcdaniel / markdown-to-htmlLinks
A Markdown to HTML compiler written in Haskell.
☆16Updated last year
Alternatives and similar repositories for markdown-to-html
Users that are interested in markdown-to-html are comparing it to the libraries listed below
Sorting:
- A non-interactive proof assistant using the Haskell type system☆37Updated 5 years ago
- Reference counting with linear types☆31Updated 11 months ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆57Updated 6 years ago
- A work-in-progress core language for Agda, in Agda☆52Updated 2 weeks ago
- Competitive programming utilities in Haskell☆37Updated 5 months ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆27Updated 2 years ago
- Interpret Haskell programs into any cartesian closed category.☆61Updated last month
- Learn the Agda basics in three 2-hour sessions.☆59Updated last year
- Demo for dependent types + runtime code generation☆69Updated 4 months ago
- LLVM code generation in Haskell☆54Updated 7 months ago
- CS410 "Advanced Functional Programming"☆24Updated last month
- ☆43Updated 3 years ago
- Reimplementation of a subset of Cabal☆30Updated last week
- Source material for Certainty by Construction☆43Updated last year
- Rough and Ready Haskell Notebooks with HLS and VS Code☆48Updated 2 years ago
- Data frames for Idris 2☆23Updated 2 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆31Updated last year
- Haskell library for type-inference with Hindley-Milner type-system.☆34Updated last year
- Optics via the profunctor representation theorem☆24Updated 6 months ago
- Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)☆39Updated last month
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- Notes on Functional Programming and related topics☆30Updated 3 years ago
- A special-purpose processor for pure, non-strict functional languages☆28Updated 5 months ago
- Fast equality saturation in Haskell☆84Updated 4 months ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆100Updated last month
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 5 months ago
- Rocq RFCs: documents to discuss changes to the Rocq Prover☆56Updated 5 months ago
- A toy dependent typed language.☆29Updated last week
- Lecture notes on realizability☆72Updated 4 months ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated 2 years ago