A shell formatter (sh/bash/mksh)

book notes for "Effective C" by Robert C. Seacord

Ports of the gruvbox colorscheme

Retro groove color scheme for Vim - community maintained edition

Lightweight, modular, and extensible library for functional programming.

A composable build system for OCaml

papers of Per Martin Löf

ZIO — A type-safe, composable library for async and concurrent programming in Scala

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

A book about compiling Racket and Python to x86-64 assembly

Convert statistical analysis objects from R into tidy format

Package to Compute VPC Percentiles & Prediction Intervals Developed by Certara

R plugin for the asdf version manager [maintainer=@taiar]

vim bundle for Racket

a Pharo API for Mastodon

Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'

🕳 bore is a simple CLI tool for making tunnels to localhost

Lecture course on verified Functional Data Structures

GNOME Shell extension that shows workspaces buttons in top panel

A webapp for developing and sharing Alloy models

Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in securi…

Scala 3 and ZIO 2 example project with support for Quill (for PostgreSQL connectivity) and OrientDB (Multi-model database with Graph and JSON support) and ZIO logging, metric and ZioHttp.

This repository contains .NET Documentation.

command line options parsing for Scala

UCalgary version of forallx, an introduction to formal logic

📑 .dotfiles for Bash (Linux) / ZSH (Linux) / Git Bash (Windows) / Cygwin (Windows) / Bash on Ubuntu on Windows

List of awesome university courses for learning Computer Science!

Send command from vim to a running tmux session