Shared thoughts through GitHub Pages

LOD3 road space models in CityGML+SketchUp of the research project SAVe and SAVeNoW

The Signal Metadata Format Specification

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

Mac-style shortcut keys for Linux & Windows.

A workflow for creating and editing publication ready scientific reports and presentations, from one or more Jupyter Notebooks, without leaving the browser!

And open-source version of % sfltool dumpbtm

🦠 An experimental elaborator for dependent type theory using effects and handlers

LISP WG Charter Proposals

A graphical frontend for exploring your org-roam Zettelkasten

A Firefox "clone" of It's All Text for spawning an editor to edit text areas in browsers. Based on David Hilley's original Chromium extension.

Assistant for 3GPP telecommunication development

3GPP Utilities

🍀 Next-generation, purely functional package manager for the Emacs hacker.

Model-rocketry aerodynamics and trajectory simulation software

Centralized repo to store KiCad/Spice modules for simulations

Astronomy and astrophysics core library

Collection of library stubs for Python, with static types

Extends the scons build tool for reproducible workflows in bioinformatics.

Digital Communication with Python

A purely functional programming language with first class types

💡 Type hints for Numpy and Pandas

A Wireshark dissector for ZMTP version 3.0 and later (ZeroMQ 4 and later)

The Fast Cross-Platform Package Manager

A curated list of resources for Document Understanding (DU) topic

A minimal specification for purl aka. a package "mostly universal" URL, join the discussion at https://gitter.im/package-url/Lobby

Run Time for AIE and FPGA based platforms

Software-Defined GPS Signal Simulator

A guide to deploy logseq.com