patrickt/tactics patrickt/tactics

  • Stars
    star
    15
  • Rank 1,371,379 (Top 28 %)
  • Language
    Haskell
  • License
    MIT License
  • Created almost 5 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
patrickt/tactics
github

patrickt

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Deep-embedded combinators for strategic rewriting.

More Repositories

1

emacs

the greatest emacs setup of all time
Emacs Lisp
150
star
2

fastsum

A fast open-union type, suitable for 100+ contained alternatives.
Haskell
97
star
3

codespaces.el

Emacs support for easy access to GitHub Codespaces.
Emacs Lisp
70
star
4

yamlkit

YAMLKit is a bridge of LibYAML to Objective-C.
Objective-C
49
star
5

recschemes

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

bracer

a language workbench for parsing and transforming curly-brace languages
Haskell
42
star
7

empathy

a modern library for typed path manipulation in Haskell
Haskell
36
star
8

effects-benchmarks

Benchmarking Haskell extensible-effect libraries.
Haskell
34
star
9

haskell-project-ideas

Free ideas, worth every penny
33
star
10

nuki

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

configurant

A Haskell library for loading configuation data from environment variables.
Haskell
17
star
12

blimp

an example airship app
Haskell
14
star
13

nom

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

flexible-numeric-parsers

Flexible numeric parsers for real-world programming languages’ numeric syntax.
Haskell
11
star
15

co-log-fused-effects

A fused-effects interface to the co-log ecosystem.
Haskell
10
star
16

patrickt.github.io

My blog, powered by org-mode and Hakyll
Haskell
8
star
17

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.
Swift
8
star
18

possession

a small roguelike in Haskell
Haskell
6
star
19

voronoid

experiments with Voronoi diagrams and Delaunay triangulation
Haskell
6
star
20

pony

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

nugit

A Nu interface to the Git revision control system.
Nu
5
star
22

scraps

Various fragments of source code that deserve a home.
Haskell
5
star
23

miller

a little ML, implemented from SPJ’s “Implementing Functional Languages"
Haskell
5
star
24

absdefint

An implementation of Abstracting Definitional Interpreters.
Haskell
5
star
25

fused-effects-broker

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

fused-effects-async

Fused-effects wrappers for async and concurrent execution of IO actions.
Haskell
4
star
27

hs-dcpu

Haskell VM and assembler for the DCPU-16
Haskell
4
star
28

hix

An emulator for Knuth’s MIX architecture in Haskell.
Haskell
4
star
29

numinder

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

tree-sitter-org

A tree-sitter parser for Org-mode documents.
C
3
star
31

alchemist

A Haskell library for carefully refactoring critical paths.
Haskell
2
star
32

ragtag

a command-line tool for editing iTunes tags
Swift
2
star
33

logos

Experiments with procedural world generation in Haskell.
Haskell
2
star
34

lens_exploration

Assorted notes for the MoonConf session on lenses
Haskell
2
star
35

ocaml_times

Chronicle of learning OCaml.
2
star
36

overture

A drop-in generalized replacement for the Haskell Prelude.
Haskell
2
star
37

scriptorium

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

enchant

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

spinners

A Haskell library for rendering animated spinners in the terminal.
Haskell
1
star
40

chopwatcher

a little CLI daemon that automatically renames .wav files
C
1
star
41

some-wrappers

Poly-kinded existential wrappers for type classes and singletons.
Haskell
1
star
42

coronews

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

pathos

a roguelike storytelling engine
JavaScript
1
star
44

hackvm

an assembler for the Hack ISA from nand2tetris.org
Haskell
1
star
45

centripedal

a tiny daemon for coalescing keyboard events
C
1
star
46

regextest

experiments with porting Onigmo flags to PCRE2
Starlark
1
star
47

fused-effects-pool

An effect providing a striped pool of resources.
Haskell
1
star
48

crafty

some work on Crafting Interpreters
Haskell
1
star
49

poker

Poker-hand decision engine
Haskell
1
star
50

astgen

sandbox for generating types from tree-sitter
Haskell
1
star
51

ssl-evaluation

Evaluating the state of enumerator-like HTTP libraries supporting SSL.
Haskell
1
star
52

bandiera

feature-flag checking for fused-effects
Haskell
1
star