vitalibarozzi Goto Github PK

newsboat

(Forked just to be safe...) An RSS/Atom feed reader for text terminals

opende

Bindings of Open Dynamics Engine for Haskell.

plfa.github.io

Introduction to programming language theory in Agda

pompom-language

The cuteness implementation of a dependently typed language.

propagators

The Art of the Propagator. See also:

python-skyfield

Elegant astronomy for Python

racket

The Racket repository

scryer-prolog

A modern Prolog implementation written mostly in Rust.

semantic

Parsing, analyzing, and comparing source code across many languages

servant-elm

Automatically derive Elm functions to query servant webservices

servant-quickcheck

servant-snap

Snap port of servant-server (WIP)

skip

A programming language to skip the things you have already computed

snap

Top-level package for the official Snap Framework libraries, includes the snaplets API as well as infrastructure for sessions, auth, and templates.

solanum

An IRCd for unified networks

stratosphere

Haskell EDSL and type-checker for AWS CloudFormation templates

tart

Tart - draw ASCII art in the terminal with your mouse!

test

go

twidere

Your Own Twitter App

twidere-android

typo

A programming language that runs in Haskell's type system.

vifm

Vifm is a file manager with curses interface, which provides Vi[m]-like environment for managing objects within file systems, extended with some useful ideas from mutt.

vitalibarozzi

wasp

A programming language that understands what a web app is.

waymonad

A wayland compositor based on ideas from and inspired by xmonad

wiwinwlh

What I Wish I Knew When Learning Haskell

write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

xmobar

A minimalistic, mostly text-based status bar

yampa

Functional Reactive Programming domain-specific language for efficient hybrid systems

yampa-apecs

Apecs adapter to Yampa.