chameleon
hyper-haskell-server
chameleon | hyper-haskell-server | |
---|---|---|
4 | - | |
36 | 359 | |
- | - | |
0.0 | 4.1 | |
over 1 year ago | 3 months ago | |
JavaScript | JavaScript | |
- | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
chameleon
- Chameleon: A tool to make solving type errors in Haskell simple and fun
-
Online study for Chameleon: a tool to help investigate type errors in Haskell
To answer your question, the setup for this study is not hard, since all the code are sent to the serverside to get typechecked. I am running a standaone Chameleon binary at the serverside. Feel free to checkout the code at https://github.com/maybetonyfu/chameleon. The harder part here is making unfamiliar UI somewhat intuitive, ie. things appear at place they belong and can be interacted in a whay normal user would expect.
-
An Online Study for Chameleon: a Haskell Interactive Type-level Debugging Tool
If you are interested in this research, there're links to the paper and video at ICFP 2021. You can also check out our repository on Github.
hyper-haskell-server
We haven't tracked posts mentioning hyper-haskell-server yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
husk-scheme - A full implementation of the Scheme programming language for the Haskell Platform.
sunroof-compiler - Monadic Javascript Compiler
Elm - Compiler for Elm, a functional language for reliable webapps.
alms - The Alms Programming Language
pi-forall - A demo implementation of a simple dependently-typed language
core-compiler - compile your own functional language
accelerate-llvm - LLVM backend for Accelerate
accelerate-io - Read and write Accelerate arrays in various formats
bound - Combinators for manipulating locally-nameless generalized de Bruijn terms
hLLVM
accelerate-cuda - DEPRECATED: Accelerate backend for NVIDIA GPUs
sunroof-examples