carp-lang / Carp
A statically typed lisp, without a GC, for real-time applications.
{{ message }}
See what the GitHub community is most excited about this month.
A statically typed lisp, without a GC, for real-time applications.
Dockerfile linter, validate inline bash, written in Haskell
Universal markup converter
Simple time tracker
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.
The fastest way to develop full-stack web apps with React & Node.js.
Core types and utilities
Robotik language - entry for http://www.pltgames.com/competition/2012/12
generate haskell types for Squeal from a running postgresql database.
IO concurrent promitives for conduit
ShellCheck, a static analysis tool for shell scripts
Yet another Blog engine written in Haskell powered by yesod.
SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS and Android apps are released
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
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 the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
REST API for any Postgres database
Tunneling over websocket protocol - Static binary available
Effectful Raw handler for Servant servers.
Prometheus.io Haskell client.
Redis integration for the LaunchDarkly SDK for Server-side Haskell using hedis
The core component that is used to participate in a Cardano decentralised blockchain.