Ashton Wiersdorf (ashton314)

ashton314

Geek Repo

Company:PLT @ University of Utah

Location:Utah, USA

Home Page:https://lambdaland.org

Github PK Tool:Github PK Tool


Organizations
utahplt

Ashton Wiersdorf's starred repositories

rnote

Sketch and take handwritten notes.

Language:RustLicense:GPL-3.0Stargazers:7211Issues:0Issues:0

show-font

Show font features in an Emacs buffer

Language:Emacs LispLicense:GPL-3.0Stargazers:11Issues:0Issues:0

typescript-sudoku

Playing Sudoku in TypeScript while the type checker highlights mistakes.

Language:TypeScriptStargazers:303Issues:0Issues:0

epubcheck

The conformance checker for EPUB publications

Language:JavaLicense:BSD-3-ClauseStargazers:1615Issues:0Issues:0

omnigraffleIsometricPlugIn

A simple OmniGraffle plugin helping to draw isometric diagrams.

Language:JavaScriptLicense:MITStargazers:4Issues:0Issues:0
Language:RacketLicense:MITStargazers:8Issues:0Issues:0

chrome-emacs

Chrome and Firefox extension designed for bi-directional editing from Emacs, providing cursor and scroll synchronization, auto-major mode detection, and support for most online editors.

Language:TypeScriptLicense:MITStargazers:83Issues:0Issues:0

dasel

Select, put and delete data from JSON, TOML, YAML, XML and CSV files with a single tool. Supports conversion between formats and can be used as a Go package.

Language:GoLicense:MITStargazers:6881Issues:0Issues:0

slackdump

Save or export your private and public Slack messages, threads, files, and users locally without admin privileges.

Language:GoLicense:GPL-3.0Stargazers:1404Issues:0Issues:0

magic-wormhole

get things from one computer to another, safely

Language:PythonLicense:MITStargazers:19882Issues:0Issues:0

Reticulum

The cryptography-based networking stack for building unstoppable networks with LoRa, Packet Radio, WiFi and everything in between.

Language:PythonLicense:MITStargazers:1930Issues:0Issues:0

rhombus_eoc

Unofficial Rhombus implementation of Essentials of Compilation

Stargazers:3Issues:0Issues:0

swift-unsound

Demo of Swift unsoundness

Language:SwiftStargazers:5Issues:0Issues:0

morlock

More font-lock keywords for elisp

Language:Emacs LispLicense:GPL-3.0Stargazers:13Issues:0Issues:0

logging

Pandoc lua filter logging support

Language:LuaLicense:MITStargazers:31Issues:0Issues:0

chorex_examples

Rough examples of using Chorex—very experimental!

Language:ElixirStargazers:1Issues:0Issues:0

Vollkorn-Typeface

»Vollkorn« is the free and healthy typeface for bread and butter use.

Language:ShellLicense:OFL-1.1Stargazers:174Issues:0Issues:0

minimal-emacs.d

Minimal ~/.emacs.d

Language:Emacs LispStargazers:86Issues:0Issues:0

ethermacs

An Emacs interface for editing Etherpad pads

Language:Emacs LispLicense:GPL-3.0Stargazers:21Issues:0Issues:0

jiff

A date-time library for Rust that encourages you to jump into the pit of success.

Language:RustLicense:UnlicenseStargazers:1613Issues:0Issues:0

SketchyBar

A highly customizable macOS status bar replacement

Language:CLicense:GPL-3.0Stargazers:5503Issues:0Issues:0

open-collaboration-tools

Open Collaboration Tools: live-sharing solution for Eclipse Theia, VS Code and other editors and IDEs

Language:TypeScriptLicense:MITStargazers:78Issues:0Issues:0

xr

Inverse of rx: convert Emacs string regexps to rx form

Language:Emacs LispStargazers:61Issues:0Issues:0

mazeppa

A modern supercompiler for call-by-value functional languages

Language:OCamlLicense:MITStargazers:362Issues:0Issues:0

bitwhip

CLI Native WebRTC Agent in Rust

Language:RustLicense:MITStargazers:652Issues:0Issues:0

emacs-history

Historical Emacs Software Preservation

Language:CStargazers:256Issues:0Issues:0

tegon

Tegon is an open-source, AI-first alternative to Jira, Linear

Language:TypeScriptLicense:AGPL-3.0Stargazers:1444Issues:0Issues:0

consult-denote

Use Consult in tandem with Denote

Language:Emacs LispLicense:GPL-3.0Stargazers:39Issues:0Issues:0

tao-te-ching

Some English interpretations of Lao Tzu's Tao Te Ching.

Language:HTMLStargazers:327Issues:0Issues:0

ladybird

Truly independent web browser

Language:C++License:BSD-2-ClauseStargazers:18582Issues:0Issues:0