tbarnetlamb / hyphen

Related projects: ⓘ

• qfpl / hpython
  Haskell language tools for Python
  ☆157Updated 4 years ago
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆123Updated last year
• ddfisher / HaPy
  Haskell bindings for Python
  ☆99Updated 3 years ago
• sol / markdown-unlit
  Literate Haskell support for Markdown
  ☆134Updated last week
• idris-community / idris2-lsp
  Language Server for Idris2
  ☆160Updated this week
• kowainik / tomland
  🏝 Bidirectional TOML serialization
  ☆120Updated 3 months ago
• Bodigrim / logict
  A continuation-based backtracking logic programming monad
  ☆85Updated last week
• ziman / idris-py
  Python backend for Idris (generates Python source, not bytecode).
  ☆124Updated 6 years ago
• purescript-python / purescript-python
  A Python backend for PureScript.
  ☆119Updated 2 years ago
• bjpop / language-python
  A parser for Python 2.x and 3.x written in Haskell
  ☆157Updated 3 months ago
• def- / ghc-vis
  Visualize live Haskell data structures in GHCi
  ☆134Updated 5 months ago
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆114Updated 6 months ago
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆99Updated 9 months ago
• circuithub / rel8
  Hey! Hey! Can u rel8?
  ☆154Updated 3 weeks ago
• guibou / PyF
  Haskell QuasiQuoter for String Formatting
  ☆66Updated 4 months ago
• edwinb / Idris2
  A purely functional programming language with first class types
  ☆55Updated last year
• scmu / aopa
  Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  ☆77Updated 8 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆92Updated last year
• quchen / prettyprinter
  A modern, extensible and well-documented prettyprinter.
  ☆293Updated 4 months ago
• haskell-github-trust / replace-megaparsec
  Stream editing with Haskell Megaparsec parsers
  ☆79Updated 3 months ago
• JustusAdam / mustache
  Haskell implementation of mustache templates
  ☆99Updated last year
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆144Updated 3 weeks ago
• mstksg / backprop
  Heterogeneous automatic differentiation ("backpropagation") in Haskell
  ☆180Updated 2 months ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆160Updated last year
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆120Updated last year
• ennocramer / floskell
  Floskell is a flexible Haskell source code pretty printer.
  ☆178Updated 2 months ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆204Updated 4 years ago
• edwinb / SPLV20
  SPLV20 course notes
  ☆106Updated last year
• haskell / happy
  The Happy parser generator for Haskell
  ☆276Updated this week
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆145Updated 5 years ago