agda2hs
Haskell translator
Tools for translating Agda code to readable Haskell
Compiling Agda code to readable Haskell
178 stars
22 watching
37 forks
Language: Agda
last commit: 4 months ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 haskell-tools/haskell-tools | Developer tools for refactoring Haskell programs. | 249 |
 hasa1002/codetranslator | Translates GDScript code to C# | 50 |
| agda/agda | A system for specifying and proving mathematical theorems using a dependently typed language | 2,532 |
 def-/ghc-vis | A tool to visualize live Haskell data structures in GHCi | 136 |
 haskell-to-elm/haskell-to-elm | Generates matching Elm type definitions and JSON encoders and decoders from Haskell types | 61 |
 1haskelladay/1had | Provides tools and exercises for practicing functional programming in Haskell | 118 |
 haskell-ci/haskell-ci | Generates CI workflows for multiple versions of the Haskell programming language compiler | 438 |
 cyga/real-world-haskell | A tool to parse and fix code samples from the book 'Real World Haskell' | 89 |
 avh4/elm-format | Tool to standardize code formatting in Elm programming language projects | 1,315 |
 ajhc/ajhc | A Haskell compiler that aims to improve the performance and efficiency of the language | 134 |
 haskell-gi/haskell-gi | Generates Haskell bindings for GObject Introspection capable libraries | 293 |
 alexwl/haskell-code-explorer | A web application for exploring and understanding Haskell codebases | 511 |
 haskell/aeson | A Haskell library for parsing and generating JSON data | 1,257 |
| haskell/ghcup-hs | A tool for installing and managing the Glasgow Haskell Compiler (GHC) | 293 |
 haskellzhangsong/introduction_to_haskell | A book's source code with corrections and explanations for errors in a Haskell programming language textbook. | 67 |