patrickt/fastsum

A fast open-union type, suitable for 100+ contained alternatives.

Language: Haskell - Size: 56.6 KB - Last synced: 14 days ago - Pushed: 18 days ago - Stars: 97 - Forks: 8

patrickt/tree-sitter-tlaplus Fork of tlaplus-community/tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

Language: C - Size: 44.8 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

patrickt/tree-sitter-swift Fork of alex-pinkus/tree-sitter-swift

A tree-sitter grammar for the Swift programming language.

Language: JavaScript - Size: 623 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 1 - Forks: 0

patrickt/bandiera

feature-flag checking for fused-effects

Language: Haskell - Size: 2.93 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

patrickt/scel Fork of supercollider/scel

Supercollider emacs package

Language: Emacs Lisp - Size: 134 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

patrickt/Tidal Fork of tidalcycles/Tidal

Pattern language

Language: C++ - Size: 11.1 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

patrickt/emacs

the greatest emacs setup of all time

Language: Emacs Lisp - Size: 1.72 MB - Last synced: 6 months ago - Pushed: about 1 year ago - Stars: 132 - Forks: 14

patrickt/dotfiles

Language: Shell - Size: 20.5 KB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0

patrickt/codespaces.el

Emacs support for easy access to GitHub Codespaces.

Language: Emacs Lisp - Size: 85.9 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 54 - Forks: 5

patrickt/chopwatcher

a little CLI daemon that automatically renames .wav files

Language: C - Size: 13.7 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 1 - Forks: 0

patrickt/ansible-tidalcycles-synth-mi-ugens Fork of cleary/ansible-tidalcycles-synth-mi-ugens

Ansible role to install Mutable-Instruments ugens for http://tidalcycles.org live coding framework

Language: SuperCollider - Size: 35.2 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

patrickt/ragtag

a command-line tool for editing iTunes tags

Language: Swift - Size: 10.7 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 2 - Forks: 0

patrickt/pcre Fork of vmg/pcre

Language: C - Size: 1.9 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

patrickt/haskell-project-ideas

Free ideas, worth every penny

Size: 4.88 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 31 - Forks: 1

patrickt/configurant

A Haskell library for loading configuation data from environment variables.

Language: Haskell - Size: 49.8 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 17 - Forks: 0

patrickt/possession

a small roguelike in Haskell

Language: Haskell - Size: 520 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 5 - Forks: 0

patrickt/pony 📦

A source-to-source transformer for C99, written in Haskell.

Language: Haskell - Size: 3.86 MB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 5 - Forks: 0

patrickt/bribe 📦

licensed-compatible manager for stack projects—get your licenses A$AP

Language: Haskell - Size: 47.9 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

patrickt/bracer 📦

a language workbench for parsing and transforming curly-brace languages

Language: Haskell - Size: 120 KB - Last synced: about 1 year ago - Pushed: almost 8 years ago - Stars: 42 - Forks: 3

patrickt/coronews 📦

A small news aggregator for COVID-19 stats, in Haskell.

Language: Haskell - Size: 22.5 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 1 - Forks: 0

patrickt/pathos 📦

a roguelike storytelling engine

Language: JavaScript - Size: 324 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 1 - Forks: 0

patrickt/airship Fork of tmcgilchrist/airship 📦

Helium + Webmachine = Airship. A toolkit for building declarative, RESTful web apps.

Language: Haskell - Size: 324 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

patrickt/tree-sitter-org 📦

A tree-sitter parser for Org-mode documents.

Language: C - Size: 59.6 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 3 - Forks: 0

patrickt/effects-benchmarks

Benchmarking Haskell extensible-effect libraries.

Language: Haskell - Size: 29.3 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 33 - Forks: 7

patrickt/stack-graphs-playground

An experimental stack graphs implementation/playground in PureScript.

Language: PureScript - Size: 36.1 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

patrickt/shades

A small Mac app that allows you to superimpose transparent windows on top of your screen, so as to help with light sensitivity. Like the baby brother of f.lux or Night Shift.

Language: Swift - Size: 19.5 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 8 - Forks: 2

patrickt/recschemes

Text and Haskell source for my blog series on recursion schemes.

Language: Haskell - Size: 216 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 43 - Forks: 5

patrickt/blimp

an example airship app

Language: Haskell - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: almost 8 years ago - Stars: 14 - Forks: 0

patrickt/consult-eglot Fork of mohkale/consult-eglot

Jump to workspace symbols with eglot and consult

Language: Emacs Lisp - Size: 27.3 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

patrickt/yamlkit

YAMLKit is a bridge of LibYAML to Objective-C.

Language: Objective-C - Size: 549 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 46 - Forks: 11

patrickt/umka-lang Fork of vtereshkov/umka-lang

Umka: a statically typed embeddable scripting language

Size: 9.26 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

patrickt/spinners

A Haskell library for rendering animated spinners in the terminal.

Language: Haskell - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0

patrickt/makefile-executor.el Fork of Olivia5k/makefile-executor.el

Emacs helpers to run things from makefiles

Language: Emacs Lisp - Size: 106 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

patrickt/empathy

a modern library for typed path manipulation in Haskell

Language: Haskell - Size: 70.3 KB - Last synced: 3 months ago - Pushed: almost 3 years ago - Stars: 36 - Forks: 2

patrickt/astgen

sandbox for generating types from tree-sitter

Language: Haskell - Size: 21.5 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

patrickt/crafty

some work on Crafting Interpreters

Language: Haskell - Size: 35.2 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

patrickt/ninetenths

an experimental rust roguelike

Language: Rust - Size: 101 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

patrickt/hix

An emulator for Knuth’s MIX architecture in Haskell.

Language: Haskell - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 4 - Forks: 0

patrickt/higgledy-clone

test repo to make CI work

Language: Haskell - Size: 107 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

patrickt/higgledy Fork of i-am-tom/higgledy

Higher-kinded data via generics

Language: Haskell - Size: 103 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

patrickt/flask Fork of pallets/flask

The Python micro framework for building web applications.

Size: 8.66 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

patrickt/functor-combinators Fork of mstksg/functor-combinators

Combine and enhance Functors

Size: 7.9 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

patrickt/enchant

an ispell/hunspell clone in Swift that uses the native macOS dictionary

Language: Swift - Size: 3.91 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 2 - Forks: 0

patrickt/patrickt.github.io

My blog, powered by org-mode and Hakyll

Language: Haskell - Size: 1.15 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 8 - Forks: 1

patrickt/othertest

test

Language: Python - Size: 11.7 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

patrickt/keybindings

My macOS keybindings.

Language: Haskell - Size: 29.3 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

patrickt/tactics

Deep-embedded combinators for strategic rewriting.

Language: Haskell - Size: 22.5 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 15 - Forks: 1

patrickt/optics Fork of well-typed/optics

Optics as an abstract interface

Language: Haskell - Size: 2.49 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

patrickt/centripedal

a tiny daemon for coalescing keyboard events

Language: C - Size: 22.5 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

patrickt/ocaml_times

Chronicle of learning OCaml.

Size: 1000 Bytes - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 2 - Forks: 0

patrickt/afl-tree-sitter

fuzzing tree-sitter grammars for fun (?) and profit (no)

Language: C - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

patrickt/hs-stack-graphs

Experimental bindings to the Rust stack-graphs library.

Language: Haskell - Size: 49.8 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

patrickt/flexible-numeric-parsers

Flexible numeric parsers for real-world programming languages’ numeric syntax.

Language: Haskell - Size: 21.5 KB - Last synced: 24 days ago - Pushed: over 2 years ago - Stars: 11 - Forks: 0

patrickt/cabal Fork of haskell/cabal

Official upstream development repository for Cabal and cabal-install

Size: 38.5 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

patrickt/pandoc Fork of jgm/pandoc

Universal markup converter

Language: Haskell - Size: 47 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

patrickt/alchemist

A Haskell library for carefully refactoring critical paths.

Language: Haskell - Size: 47.9 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 2 - Forks: 0

patrickt/absdefint

An implementation of Abstracting Definitional Interpreters.

Language: Haskell - Size: 25.4 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 5 - Forks: 0

patrickt/twitter_ebooks Fork of clonepa/twitter_ebooks

Create real, autonomous "_ebooks" accounts on Twitter

Language: Python - Size: 282 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 8 - Forks: 2

patrickt/miller

a little ML, implemented from SPJ’s “Implementing Functional Languages"

Language: Haskell - Size: 93.8 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 5 - Forks: 0

patrickt/nom

Nu on Markup, an s-expression to HTML transformer for Nu.

Language: Nu - Size: 125 KB - Last synced: about 1 year ago - Pushed: over 15 years ago - Stars: 12 - Forks: 1

patrickt/co-log-fused-effects

A fused-effects interface to the co-log ecosystem.

Language: Haskell - Size: 8.79 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 10 - Forks: 1

patrickt/summoner Fork of kowainik/summoner

🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects

Size: 878 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

patrickt/voronoid

experiments with Voronoi diagrams and Delaunay triangulation

Language: Haskell - Size: 15.6 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 6 - Forks: 0

patrickt/fused-syntax Fork of antitypical/fused-syntax

Fast, flexible, fused syntax operations for Haskell

Size: 476 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

patrickt/fused-effects-async

Fused-effects wrappers for async and concurrent execution of IO actions.

Language: Haskell - Size: 7.81 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 4 - Forks: 0

patrickt/pandoc-sidenote Fork of jez/pandoc-sidenote

Convert Pandoc Markdown-style footnotes into sidenotes

Size: 22.5 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

patrickt/some-wrappers

Poly-kinded existential wrappers for type classes and singletons.

Language: Haskell - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

patrickt/fused-effects-pool

An effect providing a striped pool of resources.

Language: Haskell - Size: 7.81 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

patrickt/fused-effects-broker

Brokered asynchronous communication with monad transformer stacks running out-of-band in another thread. Like Erlang actors, without the network.

Language: Haskell - Size: 12.7 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 5 - Forks: 1

patrickt/hs-dcpu

Haskell VM and assembler for the DCPU-16

Language: Haskell - Size: 117 KB - Last synced: about 1 year ago - Pushed: about 12 years ago - Stars: 4 - Forks: 0

patrickt/overture

A drop-in generalized replacement for the Haskell Prelude.

Language: Haskell - Size: 109 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 2 - Forks: 0

patrickt/ssl-evaluation

Evaluating the state of enumerator-like HTTP libraries supporting SSL.

Language: Haskell - Size: 133 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 1 - Forks: 0

patrickt/lens_exploration

Assorted notes for the MoonConf session on lenses

Language: Haskell - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: almost 8 years ago - Stars: 2 - Forks: 0

patrickt/hackvm

an assembler for the Hack ISA from nand2tetris.org

Language: Haskell - Size: 10.7 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 1 - Forks: 0

patrickt/poker

Poker-hand decision engine

Language: Haskell - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0

patrickt/scraps

Various fragments of source code that deserve a home.

Language: Haskell - Size: 18.6 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 5 - Forks: 0

patrickt/logos

Experiments with procedural world generation in Haskell.

Language: Haskell - Size: 45.9 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 2 - Forks: 0

patrickt/nuki

A pure-Nu wiki based on Nunja, Git, and NuMarkdown

Language: Nu - Size: 156 KB - Last synced: about 1 year ago - Pushed: over 15 years ago - Stars: 28 - Forks: 5

patrickt/scriptorium

Scriptorium is a small utility designed to make extracting and saving Scripting Bridge headers easy.

Language: Ruby - Size: 133 KB - Last synced: about 1 year ago - Pushed: over 15 years ago - Stars: 2 - Forks: 1

patrickt/nunja Fork of timburks/Nunja

A cross-platform web server that's scripted with Nu.

Language: Objective-C - Size: 132 KB - Last synced: about 1 year ago - Pushed: over 15 years ago - Stars: 2 - Forks: 0

patrickt/nu Fork of programming-nu/nu

The Nu programming language.

Language: Objective-C - Size: 2.21 MB - Last synced: about 1 year ago - Pushed: almost 16 years ago - Stars: 2 - Forks: 1

patrickt/numinder

A simple reminder program written entirely in Nu and implemented with Growl.

Language: Nu - Size: 97.7 KB - Last synced: about 1 year ago - Pushed: almost 16 years ago - Stars: 3 - Forks: 0

patrickt/nugit

A Nu interface to the Git revision control system.

Language: Nu - Size: 82 KB - Last synced: about 1 year ago - Pushed: about 16 years ago - Stars: 5 - Forks: 3

patrickt/nuyaml Fork of timburks/nuyaml

A YAML processor for use with Nu and Objective-C. Created by Patrick Thomson.

Language: C - Size: 184 KB - Last synced: about 1 year ago - Pushed: about 16 years ago - Stars: 3 - Forks: 2

patrickt/trifecta Fork of ekmett/trifecta

Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink

Language: Haskell - Size: 938 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

patrickt/beam-mysql Fork of tathougies/beam-mysql

Beam MySQL compatibility layer

Language: Haskell - Size: 28.3 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

patrickt/qmk_firmware Fork of qmk/qmk_firmware

keyboard controller firmware for Atmel AVR and ARM USB families

Language: C - Size: 99.8 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

patrickt/gRPC-haskell Fork of awakesecurity/gRPC-haskell

Haskell gRPC support

Language: Haskell - Size: 15.5 MB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

patrickt/effects Fork of joshvera/effects

An implementation of "Freer Monads, More Extensible Effects".

Language: Haskell - Size: 327 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

patrickt/overture-1 Fork of novalabsxyz/overture

A backwards-compatible, modern replacement for the Prelude.

Language: Haskell - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

patrickt/freer-cofreer Fork of robrix/freer-cofreer

freer monads and cofreer comonads.

Language: Haskell - Size: 19.5 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 1 - Forks: 0

patrickt/mltshp Fork of MLTSHP/mltshp

Source for the application that runs mltshp.com

Language: Python - Size: 6.01 MB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

patrickt/haskell-mode Fork of haskell/haskell-mode

Emacs mode for Haskell

Language: Emacs Lisp - Size: 3.52 MB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0

patrickt/XPC-Calc Fork of cbarrett/XPC-Calc

The world's worst RPN calculator, powered by XPC and Haskell

Language: Objective-C - Size: 284 KB - Last synced: about 1 year ago - Pushed: over 12 years ago - Stars: 2 - Forks: 0

patrickt/Dater.hs Fork of Soares/Dater.hs

Support for non-Gregorian dates and times

Language: Haskell - Size: 177 KB - Last synced: about 1 year ago - Pushed: about 12 years ago - Stars: 1 - Forks: 0

patrickt/MacRuby Fork of MacRuby/MacRuby

MacRuby is an implementation of Ruby 1.9 directly on top of Mac OS X core technologies such as the Objective-C runtime and garbage collector, the LLVM compiler infrastructure and the Foundation and ICU frameworks.

Language: Ruby - Size: 36.5 MB - Last synced: about 1 year ago - Pushed: over 12 years ago - Stars: 1 - Forks: 0

patrickt/hotcocoa Fork of richkilmer/hotcocoa

MacRuby HotCocoa UI library

Language: Ruby - Size: 2.85 MB - Last synced: about 1 year ago - Pushed: over 14 years ago - Stars: 1 - Forks: 1