Sophisticated static program analysis framework for the R programming language.

A curated list of papers and applications on tool learning.

A 54 bytes snake game in x86 assembly

The library FDR3 uses for parsing, type checking and evaluating machine CSP.

Solver for Constrained Horn Clauses

Mirror of our Gitlab repository https://pajda.fit.vutbr.cz/verifit/unite

An algorithm that checks for inclusion between two ω-VPLs generated by the given automata.

Probabilistic language based on pattern matching and constraint propagation, 153 examples

A minimal 6502 emulator

React Flow | Svelte Flow - Powerful open source libraries for building node-based UIs with React (https://reactflow.dev) or Svelte (https://svelteflow.dev). Ready out-of-the-box and infinitely cust…

The public issue tracker project for halerium

A wrapper around google benchmark that uses perf counters

Virtual whiteboard for sketching hand-drawn like diagrams

A small extensible programming language designed for concise expression with little code.

App for 'Digitale Berechtigungskarten', generally benefit card for volunteers or socially vulnerable groups in Germany. App for Android & iOS + Backend + Administration Web Portal – 100% Open Source.

Phase vocoder in Haskell

An interpreted relational query language that compiles to SQL.

🌵 Viewer & Finder for LSP symbols and tags

LLVM bindings for the Go programming language

Matplot++: A C++ Graphics Library for Data Visualization 📊🗾

Distributed, in-memory key/value store and cache. It can be used as an embedded Go library and a language-independent service.

📦 eCAL - enhanced Communication Abstraction Layer. A high performance publish-subscribe, client-server cross-plattform middleware.

Compiler from LLVM IR to Minecraft datapacks.

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

xdg-open replacement for WSL that opens files and links using Windows apps.

Transportation planning and traffic simulation software for creating cities friendlier to walking, biking, and public transit

A tiny lib with pocket-sized implementations of machine learning models in NumPy, most of which will fit in a tweet.

This repository has the supporting material for a youtube tutorial on converting an (animated) Powerpoint presentation into an (animated) PDF file. The video link is here:

A simple, extensible, portable, efficient and header-only SIMD library!