Highlights
- Pro
Block or Report
Block or report hexclover
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (1)
Sort Name ascending (A-Z)
Stars
Language: Haskell
Sort by: Most stars
7
stars
written in Haskell
Clear filter
ShellCheck, a static analysis tool for shell scripts
A friendly programming language from the future
Grammatical Framework core: compiler, shell & runtimes
A language for modular probabilistic modelling in Haskell based on effect handlers
Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"
A functional programming language with algebraic effects and effect handlers.