stefandollase
Follow
Stars
LocalZero Monitoring is a website with which activist groups can monitor their municipality's progress towards climate neutrality.
Picocli is a modern framework for building powerful, user-friendly, GraalVM-enabled command line apps with ease. It supports colors, autocompletion, subcommands, and more. In 1 source file so apps …
A tutorial for manim, a mathematical animation engine made by 3b1b
A community-maintained Python framework for creating mathematical animations.
Super simple build framework with fast, repeatable builds and an instantly familiar syntax – like Dockerfile and Makefile had a baby.
RFCs for changes to OBS Studio (and supporting toolset)
obs-studio plugin to simulate a directshow webcam
obs studio output plugin for Video4Linux2 device
Software Foundations in Idris
A dependently typed programming language, a successor to Idris
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
The Ballerina Programming Language
Eclipse Temurin™ build scripts - common across all releases/versions
A Java implementation of the language server protocol intended to be consumed by tools and language servers implemented in Java.
Graphical Java application for managing BibTeX and biblatex (.bib) databases
KeePassXC is a cross-platform community-driven port of the Windows application “Keepass Password Safe”.
Dependent Types research in the Idris language
Virtual machine templates for Debian written in legacy JSON
Packer is a tool for creating identical machine images for multiple platforms from a single source configuration.
A static analyzer for Java, C, C++, and Objective-C
A few starter examples of ansible playbooks, to show features and how they work together. See http://galaxy.ansible.com for example roles from the Ansible community for deploying many popular appli…
Empowering everyone to build reliable and efficient software.
⛴ Docker images, and CI builders for Jekyll.
A Dependently Typed Functional Programming Language