agda2hs
Haskell translator
Tools for translating Agda code to readable Haskell
Compiling Agda code to readable Haskell
177 stars
20 watching
37 forks
Language: Agda
last commit: about 1 month 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,512 |
 def-/ghc-vis | Visualizes live Haskell data structures in an interactive development environment. | 135 |
 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,312 |
 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 | 290 |
 alexwl/haskell-code-explorer | A web application for exploring and understanding Haskell codebases | 512 |
 haskell/aeson | A Haskell library for parsing and generating JSON data | 1,255 |
| haskell/ghcup-hs | A tool for installing and managing the Glasgow Haskell Compiler (GHC) | 289 |
 haskellzhangsong/introduction_to_haskell | A book's source code with corrections and explanations for errors in a Haskell programming language textbook. | 67 |