dariusf Goto Github PK

hugo-bearblog

🧸 A Hugo theme based on »Bear Blog«. Free, no-nonsense, super-fast blogging. This theme now includes a dark color scheme to support dark mode 🦉 ⬛️!

infernu

Type inference and checking for a safer JavaScript.

ios-backup

iota

Io-to-JavaScript compiler

issues

I've got issues

jatalog

Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation

jsondiff

JSON sensitive diffing

kindlegen

kubetail

Simple bash script to tail Kubernetes logs from multiple pods at the same time

lambdasubstitution

A toy plugin for Sublime Text 2/3 that allows you to use nice Unicode λ symbols in your code and text.

leaky-abstraction

A programming game which exposes too much to players

lh-plugin-demo

A small package that demonstrates how to use LiquidHaskell as a GHC plugin

lrparser

A toy SLR(1) parser implementation, written for CS3230R

minimal-squeel-example

mla13

A LaTeX MLA style formatter package that allows users to create MLA style documents easily.

nbl

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocaml-lens

Private extraction of astrada's lens library

ocaml-z3

org-kanban

Kanban table for org-mode

package_control_channel

Default channel file for Package Control. Follow the directions at:

pandoc-publish

pdf-redact-tools

a set of tools to help with securely redacting and stripping metadata from documents before publishing

pdfinverter

Utility program to losslessly invert all colors of a PDF

plugin-mathjax

MathJAX plugin for GitBook

pluscal-examples

Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+

pop-fiction

pop-fiction-scala

ppx_debug

Tools for record-and-replay debugging

ppx_debug-vscode

ppx_debug + VSCode