bmalehorn Goto Github PK

21-355-lemmas

We Really need to study.

advent-of-code-2019

https://adventofcode.com/2019/

asciidoc

Text based document generation. AsciiDoc is a text document format for writing notes, documentation, articles, books, ebooks, slideshows, web pages, man pages and blogs. AsciiDoc files can be translated to many formats including HTML, PDF, EPUB, man page.

asciidoc-py3

Python 3 port of Asciidoc Python, this is a development work in progress, but passes all tests, real world testing is very much welcomed.

asdf

Extendable version manager with support for Ruby, Node.js, Elixir, Erlang & more

bash-it

A community Bash framework.

bb-mode

Emacs major mode for bitbake recipes.

binln

symlinks to ~/bin/, the easy way

bitbake-el

Integrates Bitbake into emacs

brss

A mobile RSS reader.

caniuse

Raw browser/feature support data from caniuse.com

click-mode

Emacs major mode for the Click Modular Router Project

client-server

C boilerplate for client / server networking

codeowners

👁 audit your CODEOWNERS file

codeowners-language

Syntax highlighting for CODEOWNERS files

concourse-pipeline-schema-json

JSON schema for Concourse CI configurations

dagster

An orchestration platform for the development, production, and observation of data assets.

definitelytyped

The repository for high quality TypeScript type definitions.

desktop-plus

desktop+: extensions to Emacs' standard desktop library

dotfiles

test repository for use in codespaces

emacs-pager

use a buffer as $PAGER when using emacs as your terminal

emacs-scala-mode

The definitive scala-mode for emacs

engine.io

engine.io-client

ergoemacs-mode

ergoemacs-mode

eslint-monorepo-example

eslint-typescript-example

fib

Fibonacci library for Lean theorem prover.

fish-auto-source

Never type "source ~/.config/fish/config.fish" again

fish-shell

The user-friendly command line shell.