agda2hs

Similar projects

Found by comparing what the projects do, not just their names.

• haskell-tools/haskell-tools249

  Haskell refactorer

  Developer tools for refactoring Haskell programs.

• hasa1002/codetranslator50

  Code translator

  Translates GDScript code to C#

• agda/agda2.5K

  Theorem prover

  A system for specifying and proving mathematical theorems using a dependently typed language

• def-/ghc-vis136

  Data visualizer

  A tool to visualize live Haskell data structures in GHCi

• haskell-to-elm/haskell-to-elm61

  Type converter

  Generates matching Elm type definitions and JSON encoders and decoders from Haskell types

• 1haskelladay/1had118

  Haskell compiler

  Provides tools and exercises for practicing functional programming in Haskell

• haskell-ci/haskell-ci438

  Compiler tester

  Generates CI workflows for multiple versions of the Haskell programming language compiler

• cyga/real-world-haskell89

  Haskell code parser

  A tool to parse and fix code samples from the book 'Real World Haskell'

• avh4/elm-format1.3K

  Elm formatter

  Tool to standardize code formatting in Elm programming language projects

• ajhc/ajhc134

  Haskell compiler

  A Haskell compiler that aims to improve the performance and efficiency of the language

• haskell-gi/haskell-gi293

  GObject bindings generator

  Generates Haskell bindings for GObject Introspection capable libraries

• alexwl/haskell-code-explorer511

  Code browser

  A web application for exploring and understanding Haskell codebases

• haskell/aeson1.3K

  JSON serializer

  A Haskell library for parsing and generating JSON data

• haskell/ghcup-hs293

  Compiler installer

  A tool for installing and managing the Glasgow Haskell Compiler (GHC)

• haskellzhangsong/introduction_to_haskell67

  Haskell tutorial

  A book's source code with corrections and explanations for errors in a Haskell programming language textbook.