3brahimi Goto Github PK

aaltaf

SAT-based LTLf Satisfiability Checker

blediff

BLEDiff is an automated, scalable, property-agnostic, and black-box protocol noncompliance checker for BLE devices.

cpp-httplib

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

decisiondiagrams

C++ library for creating and manipulating decision diagrams.

deepsymreg

Official repository for the paper "Integration of Neural Network-Based Symbolic Regression in Deep Learning for Scientific Discovery"

deepsymregtorch

PyTorch implementation of the EQL network, a neural network for symbolic regression

floorplan-graph

Room Classification on Floor Plan Graphs using Graph Neural Networks

floorplangan

Code and instruction for our Automation in Construction submission:"FloorplanGAN: Vector Residential Floorplan Adversarial Generation".

graph2plan

harray

Fastest Trie structure (Linux & Windows)

hot-sample

Sample project for the Height Optimized Trie (HOT)

housegan

House-GAN: Relational Generative Adversarial Networks for Graph-constrained House Layout Generation

houseganpp

htmlbuilder

A simple C++ HTML Generator

learnlib

A free, open-source Java library for automata learning algorithms

llm.c

LLM training in simple, raw C/CUDA

logic-llm

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

lstar_tutorial

A Tutorial on Automata Learning

mcheck

Model checking algorithm using CTL and LTL formulae

metric-visualizer

For easy metric logging and visualization

neural-networks-for-solving-differential-equations

Codebase for Master's dissertation in Mathematics at Durham University. Topic: applying neural networks to differential equations. Grade: 85/100.

noisereduce

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

ocr-python

OCR library to extract text & tables from PDF files and images. Convert any image or PDF to CSV / TXT / JSON / Searchable PDF.

pdf2json

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. PDF2JSON is available for Windows, OSX and Linux. Please see https://flowpaper.com for more information

pdftextract

A very fast and efficient python PDF text & images extractor

rd-usb

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

trie

Simple C++ template implementation of a prefix tree

um34c_visualization

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

usbmeter

Simple program for extracting data from UM25C bluetooth power meter and for generating real-time voltage, current and power graphs