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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only 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 73 10 Updated Apr 4, 2019

(deprecated) A system for making generative systems

Common Lisp 636 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 40 7 Updated Aug 15, 2011

First-class type families

Haskell 87 12 Updated Aug 20, 2024

My slides and compilation of resources.

Haskell 150 11 Updated Aug 31, 2024

Algebraic effects

F# 76 5 Updated Oct 25, 2024

Rust Sound Synthesis Library

Rust 139 4 Updated Dec 3, 2024

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

Common Lisp 81 2 Updated Oct 28, 2020

network library based on io_uring and C++20 coroutine

C++ 101 14 Updated May 26, 2020

Your project's nix-env

Rust 991 69 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 2,553 70 Updated Mar 7, 2024

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

C++ 230 27 Updated Mar 26, 2024

Check properties on standard classes and data structures

Haskell 79 13 Updated Jan 10, 2024

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 5 1 Updated Nov 16, 2016

🐭 quick lil gopher client for your terminal

Rust 187 7 Updated Jun 21, 2023

UNIX system administration in Common Lisp

Common Lisp 181 10 Updated Sep 2, 2024

Graphql development environment for emacs

Emacs Lisp 7 Updated Jan 6, 2020

Define efficient global variables in Common Lisp.

Common Lisp 42 5 Updated Jan 22, 2024

A data serialization/contract library for common lisp

Common Lisp 51 2 Updated Jul 4, 2021

formally verified category theory library

Idris 259 23 Updated Jun 23, 2020
Clojure 1 Updated May 25, 2018

Lisp Web Toolkit

Common Lisp 74 2 Updated Jul 28, 2024

Stream classes for Common Lisp

Common Lisp 18 1 Updated Mar 6, 2019

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

Common Lisp 30 Updated Nov 20, 2020

FSet, the functional collections library for Common Lisp.

Common Lisp 200 19 Updated Jan 14, 2025

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

Clojure 67 3 Updated Jan 11, 2023
Next
Showing results