Jonathan Daugherty (jtdaugherty)

jtdaugherty

Geek Repo

Company:Galois, Inc.

Location:Portland, OR

Github PK Tool:Github PK Tool


Organizations
GaloisInc
matterhorn-chat

Jonathan Daugherty's starred repositories

tmux

tmux source code

Language:CLicense:NOASSERTIONStargazers:33450Issues:423Issues:3337

penrose

Create beautiful diagrams just by typing notation in plain text.

Language:TypeScriptLicense:MITStargazers:6680Issues:109Issues:734

Rack

The virtual Eurorack studio

Language:C++License:NOASSERTIONStargazers:3989Issues:188Issues:0

brick

A declarative Unix terminal UI library written in Haskell

Language:HaskellLicense:NOASSERTIONStargazers:1580Issues:22Issues:275

swarm

Resource gathering + programming game

Language:HaskellLicense:NOASSERTIONStargazers:798Issues:15Issues:675

pboy

a small .pdf management tool with a command-line UI

Language:HaskellLicense:BSD-3-ClauseStargazers:733Issues:12Issues:29

calc

C-style arbitrary precision calculator

Language:CLicense:NOASSERTIONStargazers:324Issues:13Issues:76

O_C-HemisphereSuite

Hemisphere Suite is alternate-alternate firmware for Ornament and Crime, featuring a dual-applet framework with dozens of different modular functions.

hascard

flashcard TUI with markdown cards

Language:HaskellLicense:NOASSERTIONStargazers:283Issues:4Issues:29

irc-core

Haskell IRC library and console client - Join us on libera.chat #glirc

Language:HaskellLicense:ISCStargazers:152Issues:12Issues:67

reflex-vty

Build terminal applications using functional reactive programming (FRP) with Reflex FRP.

Language:HaskellLicense:BSD-3-ClauseStargazers:138Issues:23Issues:18

thock

⌨️ A modern TUI typing game featuring online racing against friends.

Language:HaskellLicense:MITStargazers:87Issues:2Issues:7

git-brunch

Git branch checkout menu

Language:HaskellLicense:BSD-3-ClauseStargazers:78Issues:3Issues:8

wordle

TUI version of the Wordle word puzzle game written in Haskell

Language:HaskellLicense:MITStargazers:50Issues:4Issues:19

myxine

Get a GUI fast in any language under the sea!

Language:HaskellLicense:MITStargazers:47Issues:14Issues:20

faderfox-editor

Web-MIDI based editor for Faderfox controllers

Language:JavaScriptLicense:MITStargazers:44Issues:7Issues:10

chessIO

Fast haskell chess move generator library and console UCI frontend

Language:HaskellLicense:BSD-3-ClauseStargazers:31Issues:7Issues:9

rewrite-inspector

A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of small languages.

Language:HaskellLicense:BSD-2-ClauseStargazers:20Issues:1Issues:2

text-zipper

A text editor zipper libary

Language:HaskellLicense:BSD-3-ClauseStargazers:18Issues:3Issues:5

hove-letter

An implementation of the game Love Letter in the terminal, written in Haskell.

Language:HaskellLicense:BSD-3-ClauseStargazers:15Issues:1Issues:0

network-manager-tui

Network manager tui

Language:HaskellLicense:BSD-3-ClauseStargazers:10Issues:3Issues:0

word-wrap

A Haskell library for wrapping long lines of text

Language:HaskellLicense:BSD-3-ClauseStargazers:8Issues:4Issues:7

wrapping-editor

Generic Haskell text-editor logic and Brick widget for use with fixed-width fonts.

Language:HaskellLicense:Apache-2.0Stargazers:7Issues:3Issues:5

fifteen

15 puzzle as a haskell tui application

Language:HaskellStargazers:6Issues:3Issues:0

maze

a tui maze game

Language:HaskellStargazers:6Issues:3Issues:0

rendrs

A raytracer in rust

Language:RustStargazers:6Issues:2Issues:0

brewsage

Offers a comfy CLI or a TUI for homebrew

Language:HaskellLicense:BSD-3-ClauseStargazers:5Issues:4Issues:4

effect-stack

Reducing the pain of transformer stacks with duplicated effects

Language:HaskellLicense:BSD-3-ClauseStargazers:4Issues:1Issues:0

mattermost-session-cookie-firefox

Obtain the session cookie from a mattermost webclient for use in other applications

Language:ShellLicense:MITStargazers:4Issues:3Issues:1

mattermost-plugin-ascii-plot

Modifies posts containing plot data and generates a simple ascii plot

Language:GoLicense:Apache-2.0Stargazers:4Issues:4Issues:1