f0i

napkin-math

Techniques and numbers for estimating system's performance from first-principles

dprint

Pluggable and configurable code formatting platform written in Rust.

TMSU

TMSU lets you tags your files and then access them through a nifty virtual filesystem from any other application.

serial

ic

Internet Computer blockchain source: the client/replica software run by nodes

enigma

An Erlang VM implementation in Rust

jupyenv

Declarative and reproducible Jupyter environments - powered by Nix

track-and-graph

An android app for tracking personal data and creating custom graphs

pandoc-include-code

A Pandoc filter for including code from source files

mason-registry

Core registry for mason.nvim.

elm-html-test

Test elm-html in Elm!

nns-proposals

pwsafe

commandline tool compatible with Counterpane's Passwordsafe

rpi-rt-kernel

vscode-motoko

Motoko language support for VS Code.

note-detector

Piano note detector

prettier-plugin-motoko

A code formatter for the Motoko smart contract language.

motoko-book

serde

Serialization and Deserialization library for motoko

motoko-format

:skull:

CuttingForcesSim

Numerical Controls simulation of end milling in Matlab.

hhn-swarch

Slides and resources for the Advanced Software Architecture lecture at Heilbronn University for Applied Sciences.

icp-dev-env

A Docker image for a canister smart contract developer environment for ICP.

typing-metrics.nvim

A small NVim plugin tracking the typing speed while working in NVim.

tree-sitter-motoko

tree-sitter for motoko

inspire3

rlp-motoko

RLP implementation on motoko

waybox

Waybox is a Wayland Compositor based on wlroots written in Rust

flutter_dev

Flutter development environment in docker

motokobootcamp2023