scolsen

lazy

Lazy computations for Carp

typeclass

Typeclasses for the Carp programing language.

grimoire

A companion for casting (n)curses (in the Carp programming language)

hara

A minimal vim color scheme

laws

Algebraic laws for Carp interfaces, a la carte.

cutils

DreamBerd

perfect programming language

carp-ncurses

file

A simple file abstraction for Carp

gadamer

A vim plugin for annotating files.

memo

Remember things on the command line.

dimensions

Generic utilities for working with dimensional containers.

austral

Systems language with linear types and capability-based security.

austral.github.io

The website for the Austral programming language.

Carp

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

csound-vim

Csound tools for Vim

dagger

A fast dependency injector for Android and Java.

ferret

Ferret is a free software lisp implementation for real time embedded control systems.

flogger

A Fluent Logging API for Java

ground-android

Ground mobile data collection app for Android

Idris-dev

A Dependently Typed Functional Programming Language

jspecify

An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.

kotlin-spec

Kotlin Language Specification:

kotlin-web-site

The Kotlin programming language website

kotlinx.coroutines

Library support for Kotlin coroutines

libDaisy

Hardware Library for the Daisy Audio Platform

rune

Rune is a programming language developed to test ideas for improving security and efficiency.

todoist

Todoist CLI Client. I ❤️ Todoist and CLI.

tokay-docs

Documentation for the Tokay programming language

truth

Fluent assertions for Java and Android