Lists (2)
Starred repositories
32
stars
written in Haskell
Clear filter
ShellCheck, a static analysis tool for shell scripts
Parsing, analyzing, and comparing source code across many languages
A friendly programming language from the future
A statically typed lisp, without a GC, for real-time applications.
A Dependently Typed Functional Programming Language
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…
Official Haskell IDE support via the language server protocol (LSP)
Agda is a dependently typed programming language / interactive theorem prover.
The engine for haskell ide-integration. Not an IDE
Minimal implementations for dependent type checking and elaboration
Crucible is a library for symbolic simulation of imperative programs
🌀 Safe, performant, user-friendly and lightweight Haskell standard library
Nix backend for PureScript. Transpile PureScript code to Nix.
Examples of Dependently-typed programs in Haskell
Relational programming in Haskell. Mostly developed on twitch.
A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
Manage your NixOS packages and configuration via a simple, intuitive UI
A Super Kawaii Dependently Typed Programming Language
The Software Foundations book, in GHC
mirror of A simple type-theoretic language: Mini-TT
Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
dependently-typed lisp with flexible compiler backends
Roll your own IRC bot (2019 version) https://wiki.haskell.org/Roll_your_own_IRC_bot