Coq library for tactics, basic definitions, sets, maps

An Emacs package development handbook. Built with Emacs, by Emacs package developers, for Emacs package developers.

☄️ Simple but effective sorting and filtering for Emacs.

A community driven list of useful Emacs packages, libraries and other items.

KRunner SSH Backend

NeuraLUT-Assemble

Brevitas: neural network quantization in PyTorch

Implementation of Microscaling data formats in SystemVerilog.

Powershell or PowerCLI modules for VMware administration/troubleshooting tasks

An Emacs framework for the stubborn martian hacker

PolyLUT is the first quantized neural network training methodology that maps a neuron to a LUT while using multivariate polynomial function learning to exploit the flexibility of the FPGA soft logic.

Compiler laboratory repository for Instruction Architectures and Compilers module at Imperial College London

32 bit pipelined binary floating point adder using IEEE-754 Single Precision Format in Verilog

synthesiseable ieee 754 floating point library in verilog

</> htmx - high power tools for HTML

Usability-first dotfiles

Convert Redstone from Minecraft into synthesizable System Verilog.

Official Haskell IDE support via the language server protocol (LSP)

A library for building Haskell IDE tooling

A library for building Haskell IDE tooling

A programming language with algebraic effects (WIP)

VS Code plugin for F# development

The OpenTelemetry Haskell Client https://opentelemetry.io

Emacs X Window Manager

Petition to open source Flash and Shockwave spec

simple toy process viewer in rust https://crates.io/crates/bb

A lightweight compositor for X11 with animation support

Transient commands

Fast and minimal backup tool

A prototype successor to Idris