the most efficient keybinding for emacs

A compact 34-key adaptation of the Miryoku layout.

Aiken "Hello World" tutorial (CLI version)

My personal NixOS and home-manager configuration

My nixos configurations

Simple and documented config templates to help you get started with NixOS + home-manager + flakes. All the boilerplate you need!

PKI.js is a pure JavaScript library implementing the formats that are used in PKI applications (signing, encryption, certificate requests, OCSP and TSP requests/responses). It is built on WebCrypto…

Online instant PDF signature website.

A plugin for Vite enables you to compile an Elm application/document/element

The tail of Cardano

Elm offchain package for Cardano

A modern smart contract platform for Cardano

RDLRT Stakepool for Cardano

An advanced keyboard manager

My personal dotfiles, using Nix Flakes to configure my system(s).

The fastest way to develop full-stack web apps with React & Node.js.

📏 next generation CRuby profiler

Easily and efficiently make your ActiveRecord models support hierarchies

Emacs support library for PDF files.

Use Latexmk With Synctex and Constant Preview

This is a simple Camscanner projecct using openCV

A PureScript web UI framework

Type to model asynchronous operations

Advanced techniques in the plutus smart contract language

Plutus Experience Modules

This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the nat…

A Nix repository with all Ruby versions being kept up-to-date automatically