Pinned Repositories
analyze
making data science easy and safe with data frames in haskell
blanks
Fill-in-the-blanks - A library factoring out substitution from ASTs
bottle-bootstrap
A simple recipe for Bottle.py + Twitter Bootstrap + Heroku
dahdit
Binary parsing and serialization with integrated size
haskell-linenoise
A lightweight readline-replacement library for Haskell
minipat
Music pattern language + live coding environment
overeasy
A purely functional E-Graph library
polyendtracker-formats
Collaborative documentation of the file formats used by the Polyend Tracker
rulecheck
Automated test case generation for Haskell rewrite rules
tang
Translating ECTAs to SMT to synthesize programs
ejconlon's Repositories
ejconlon/polyendtracker-formats
Collaborative documentation of the file formats used by the Polyend Tracker
ejconlon/haskell-linenoise
A lightweight readline-replacement library for Haskell
ejconlon/minipat
Music pattern language + live coding environment
ejconlon/scrapti
Utility to convert Polyend Tracker PTI files (WIP)
ejconlon/climb
Building blocks for a GHCi-like REPL with colon-commands
ejconlon/little-rio
When you need just the RIO monad
ejconlon/dahdit
Binary parsing and serialization with integrated size
ejconlon/bowtie
Tying knots in functors
ejconlon/looksee
A simple text parser with decent errors
ejconlon/rulecheck
Automated test case generation for Haskell rewrite rules
ejconlon/tang
Translating ECTAs to SMT to synthesize programs
ejconlon/arch-repo
Some custom package definitions for Arch Linux
ejconlon/Carp
A statically typed lisp, without a GC, for real-time applications.
ejconlon/daytripper
Helpers for round-trip tests
ejconlon/falsify
ejconlon/haskell-openscad
Maintenance fork of OpenSCAD haskell library
ejconlon/haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
ejconlon/image_preview.nvim
Image Preview for Neovim 🖼
ejconlon/int-like
Newtype wrappers over IntSet and IntMap
ejconlon/libremidi
A modern C++ MIDI 1 / MIDI 2 real-time & file I/O library. Supports Windows, macOS, Linux and WebMIDI.
ejconlon/libremidi-haskell
libremidi bindings for haskell
ejconlon/little-logger
Basic logging based on monad-logger
ejconlon/mello
No fuss syntax with s-expressions
ejconlon/MicroCabal
Reimplementation of a subset of Cabal
ejconlon/nanotime
a tiny time library
ejconlon/polyend-tracker-pti-creator
Python Command Line Application to create Polyend Tracker pti instruments from sample files.
ejconlon/prop-unit
Conveniences for using Hedgehog as a unit test runner
ejconlon/purescript-sequences
Various efficient-ish sequence types for PureScript.
ejconlon/PyMusicLooper
A python program for repeating music endlessly and creating seamless music loops, with play/export/tagging support.
ejconlon/stackage
"Stable Hackage": vetted consistent packages from Hackage