Skip to content
View paullucas's full-sized avatar

Block or report paullucas

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Command line tools that make batch processing, editing and organization of audio files a fast and painless task. Based on the SoX audio tool.

Shell 83 10 Updated Apr 4, 2019

(deprecated) A system for making generative systems

Common Lisp 637 31 Updated Apr 21, 2021

Kenichi Asai's reflective programming language Black

Scheme 197 17 Updated Apr 11, 2022

Tiling functionality for the FVWM window manager

Shell 43 7 Updated Aug 15, 2011

First-class type families

Haskell 92 15 Updated Nov 6, 2025

My slides and compilation of resources.

Haskell 159 12 Updated Aug 31, 2024

Algebraic effects

F# 87 4 Updated Feb 26, 2026

Rust Audio Programming Library

Rust 155 3 Updated Jun 22, 2026

Draw Lindenmayer Systems with Common LISP! -- Trabajo para [7531] Teoría del Lenguaje (FIUBA)

Common Lisp 82 2 Updated Oct 28, 2020

network library based on io_uring and C++20 coroutine

C++ 112 15 Updated May 26, 2020

Your project's nix-env

Rust 983 66 Updated Jun 17, 2022

A dependency manager for Haskell

Haskell 97 15 Updated Feb 20, 2022

Neural network poetry rewriter

Jupyter Notebook 21 4 Updated Feb 4, 2022

Terminal disk space navigator 🔭

Rust 3,081 93 Updated Mar 7, 2024

Transducers for C++ — Clojure style higher order push/pull sequence transformations

C++ 249 31 Updated Feb 25, 2026

Check properties on standard classes and data structures

Haskell 80 13 Updated Oct 8, 2025

Higher-kinded data via generics

Haskell 170 20 Updated Aug 20, 2024

Haskell live-sequencer: program and play music in reduced Haskell simultaneously (deprecated Git repository)

Haskell 6 1 Updated Nov 16, 2016

🐭 quick lil gopher client for your terminal

Rust 197 8 Updated Jun 21, 2023

UNIX system administration in Common Lisp

Common Lisp 185 10 Updated Sep 2, 2024

Graphql development environment for emacs

Emacs Lisp 7 1 Updated Jan 6, 2020

Define efficient global variables in Common Lisp.

Common Lisp 47 6 Updated Jan 22, 2024

A data serialization/contract library for common lisp

Common Lisp 52 2 Updated Jun 8, 2026

formally verified category theory library

Idris 271 26 Updated Jun 23, 2020
Clojure 1 Updated May 25, 2018

Lisp Web Toolkit

Common Lisp 74 3 Updated Jul 28, 2024

Stream classes for Common Lisp

Common Lisp 18 Updated Mar 6, 2019

Implements -> and ->> from Clojure, as well as several expansions on the idea.

Common Lisp 34 1 Updated Nov 20, 2020

FSet, the functional collections library for Common Lisp.

Common Lisp 255 25 Updated Jun 20, 2026

spec-backed forms of defn/defprotocol/..., aided by metadata

Clojure 67 3 Updated Jan 11, 2023
Next