Arbitrary-sized integer class for C++

The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"

LLM training in simple, raw C/CUDA

A Java library for capturing, crafting, and sending packets.

PDF2JSON is a conversion library based on XPDF (3.02) which can be used for high performance PDF page by page conversion to JSON and XML format. It also supports compressing data to minimize size. …

Build a RAG preprocessing pipeline

A C++ header-only HTTP/HTTPS server and client library

A simple C++ HTML Generator

Library for modeling, simulation, and verification of interacting autonomous agents

Thermal Engineering Systems in Python (TESPy). This package provides a powerful simulation toolkit for thermodynamic modeling of thermal engineering plants such as power plants, heat pumps or refri…

Noise reduction in python using spectral gating (speech, bioacoustics, audio, time-domain signals)

A curated list of awesome TikZ packages and resources

Multi-language suite for high-performance solvers of differential equations and scientific machine learning (SciML) components. Ordinary differential equations (ODEs), stochastic differential equat…

Physics-informed neural network for solving fluid dynamics problems

Generating novel MNIST digits using neural cellular automata.

Reinforcement Learning framework for Temporal Goals

Specify and synthesize systems using symbolic algorithms

PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.

Web GUI for RuiDeng/Riden USB testers (UM34C, UM24C, UM25C, TC66C)

USB PD/PPS direct battery charge controller script for the YK-Lab Shizuku USB tester (a.k.a. YK-Lab YK001, AVHzY CT-3, Power-Z KT002, ATORCH UT18).

A python implementation of event based Hybrid Automata simulation framework.

Reachability checker for hybrid automata

HAL (Hybrid Automata Library) is the one-stop shop for all of your hybrid modeling needs

Synthesis of hybrid automata from data

Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs

Web dashboard made with streamlit to plot data and control 2 APIs made with fastapi. API to control UM34C via bluetooth and an API to store the data from UM34C in a database

Easy to use device for connecting "old" measuring units (water, power, gas, ...) to the digital world

Native Android Proxmark3 client (no root required)