vitalibarozzi Goto Github PK

aboriginal

Aboriginal Generics: the future is here!

abstract-effects

agnostic effect classes

abstract-effects-test

Testing SDK for the effects library.

agda-stdlib

The Agda standard library

al

Haskell OpenAL raw binding

alacritty

A cross-platform, GPU-accelerated terminal emulator

availability

Efficient effects for concrete monads

brick

A declarative terminal UI programming library written in Haskell

carp

A statically typed lisp, without a GC, for real-time applications.

cat-language

Cat - a statically typed functional stack-based programming language

category-theory-illustrated

A book about category theory

cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

chezscheme

Chez Scheme

cleff

Fast and concise extensible effects

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

dhall-nethack

Generate NetHack configurations using Dhall

docker-haskell

Haskell on Docker

doom

DOOM Open Source Release

eff

🚧 a work in progress effect system for Haskell 🚧

eff-1

A functional programming language based on algebraic effect handlers

effectful

An easy to use, performant extensible effects library with seamless integration with the existing Haskell ecosystem.

effective-rust

elm-bootstrap

Responsive and reliable web apps with Elm and Twitter Bootstrap

elm-bootstrap.info

User documentation for Elm Bootstrap

elm-mdc

Elm port of the Material Components for the Web CSS/JS library

elm-mdl

Elm-port of the Material Design Lite CSS/JS library

extensible

Extensible records, variants, structs, effects, tangles

fay

A proper subset of Haskell that compiles to JavaScript

foreign-store-stm

frank

Frank compiler