loverdos

ce-semantics-dsl

Denotational semantics for the masses

ce-jutus

Plutus for the masses

create-socket.rs

Create a unix domain socket

mk

Makes stuff

aliyun-log-logback-appender

arrow

Better dates & times for Python

choosenim

dioxus

Fullstack GUI library for desktop, web, mobile, and more.

docker-images

My docker images, what else ...

fx

Command-line tool and terminal JSON viewer 🔥

ghdid

loverdos

mantis-cardano

mantis-fork

A Scala based client for Ethereum Classic.

nix

My nix stuff

org-journal

A simple org-mode based journaling mode

org-noter

Emacs document annotator, using Org-mode

org-ql

An Org-mode query language, search command, and agenda-like view

org-roam

Rudimentary Roam replica with Org-mode

pdf-tools

Emacs support library for PDF files.

riemann-java-client

Riemann Java Client

sbt-verify-fork-fork

SBT plugin to verify the integrity of remote dependencies

scripts

Handy scripts. Explorations in PLs and the shell

shellme

Utilities for "shell" scripts in Rust

sshcode

Run VS Code on any server over SSH.

tinycc

Mirror of http://repo.or.cz/tinycc.git

ubuntu.base

ubuntu.dev

ubuntu.nix

ugit

git for one file