mrkgnao Goto Github PK

prezto

The configuration framework for Zsh

prosthetic-conscience

Towards a functional exocortex

purescript

A small strongly typed language that compiles to Javascript

purescript-behaviors

A simple FRP implementation which separates events and behaviors

purescript-book

Sources for the PureScript book

purescript-css

A clean, type-safe library for describing, manipulating and rendering CSS

purescript-pux

Build purely functional web apps with PureScript.

purescript-signal

Elm style FRP library for PureScript

purify

Reproducible builds for PureScript (fork, WIP)

purify-template

Template to get up and running with purify for PureScript

qtt

Quantitative Type Theory implementation

rasa

Extremely modular text editor built in Haskell

refinator

A searchable database of lecture notes etc one finds scattered round the web. Mainly math for now.

refl

WIP!

remux

compiled, fast tmux status bars built from small, um, "composable" blocks

restack

A Haskell backend for and interface to the Stacks project

rien-digest-example

Example usage of Rien with native dependencies

rosetree-wordgame

A Haskell program to play a wordgame in the spirit of Lewis Carroll's Doublets!

rust-sfml

SFML bindings for Rust

selda

Type-safe, high-level SQL DSL, embedded in Haskell

serif

Serif is a static site generator and blogging system powered by markdown files.

smithay

A smithy for rusty wayland compositors

smsn-mode

Emacs client for Semantic Synchrony knowledge graphs

snackbox

Minimalistic notification panels for tiling WMs. There are many like it, but this one's mine.

snoyman.com-content

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

sqlx

🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL.

stacks-project

Repository for the Stacks Project

stgi

A user-centric visual STG implementation to help understand GHC/Haskell's execution model.

structured-haskell-mode

Structured editing minor mode for Haskell in Emacs