paullucas

paullucas's Stars

• imsnif/diskonaut

  Terminal disk space navigator 🔭

  Language:Rust2.5k155669

• target/lorri

  Your project's nix-env

  Language:Rust9912128069

• inconvergent/weir

  (deprecated) A system for making generative systems

  Language:Common Lisp63619031

• statebox/idris-ct

  formally verified category theory library

  Language:Idris259204423

• arximboldi/zug

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

  Language:C++229111327

• slburson/fset

  FSet, the functional collections library for Common Lisp.

  Language:Common Lisp200164119

• readevalprintlove/black

  Kenichi Asai's reflective programming language Black

  Language:Scheme19514117

• xvxx/phetch

  🐭 quick lil gopher client for your terminal

  Language:Rust1873257

• cl-unix-cybernetics/cl-unix-cybernetics

  UNIX system administration in Common Lisp

  Language:Common Lisp18112510

• i-am-tom/higgledy

  Higher-kinded data via generics

  Language:Haskell170101920

• soupi/rfc

  My slides and compilation of resources.

  Language:Haskell1508011

• reedrosenbluth/oscen

  Rust Sound Synthesis Library

  Language:Rust1397184

• xuanyi-fu/xynet

  network library based on io_uring and C++20 coroutine

  Language:C++1016314

• sol/tinc

  A dependency manager for Haskell

  Language:Haskell97142215

• Lysxia/first-class-families

  First-class type families

  Language:Haskell8782812

• FdelMazo/cl-aristid

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

  Language:Common Lisp81912

• haskell-checkers/checkers

  Check properties on standard classes and data structures

  Language:Haskell7972213

• brianberns/AlgEff

  Algebraic effects

  Language:F#76605

• xh4/web-toolkit

  Lisp Web Toolkit

  Language:Common Lisp74902

• madskjeldgaard/sox-tricks

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

  Language:Shell739610

• nedap/speced.def

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

  Language:Clojure677533

• fisxoj/sanity-clause

  A data serialization/contract library for common lisp

  Language:Common Lisp515142

• lmj/global-vars

  Define efficient global variables in Common Lisp.

  Language:Common Lisp42515

• urob/fvwm-tiling

  Tiling functionality for the FVWM window manager

  Language:Shell40727

• Harleqin/arrows

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

  Language:Common Lisp30230

• jeffbinder/visions-and-revisions

  Neural network poetry rewriter

  Language:Jupyter Notebook21334

• cl-stream/cl-stream

  Stream classes for Common Lisp

  Language:Common Lisp18421

• TOTBWF/graphiql.el

  Graphql development environment for emacs

  Language:Emacs Lisp731

• thielema/livesequencer

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

  Language:Haskell5301

• andrewmcveigh/type-theory

  Language:Clojure1200