3brahimi Goto Github PK
Type: User
Bio: I'm a goddamn marvel of modern science!
Type: User
Bio: I'm a goddamn marvel of modern science!
SAT-based LTLf Satisfiability Checker
BLEDiff is an automated, scalable, property-agnostic, and black-box protocol noncompliance checker for BLE devices.
A C++ header-only HTTP/HTTPS server and client library
C++ library for creating and manipulating decision diagrams.
Official repository for the paper "Integration of Neural Network-Based Symbolic Regression in Deep Learning for Scientific Discovery"
PyTorch implementation of the EQL network, a neural network for symbolic regression
Room Classification on Floor Plan Graphs using Graph Neural Networks
Code and instruction for our Automation in Construction submission:"FloorplanGAN: Vector Residential Floorplan Adversarial Generation".
Fastest Trie structure (Linux & Windows)
Sample project for the Height Optimized Trie (HOT)
House-GAN: Relational Generative Adversarial Networks for Graph-constrained House Layout Generation
A simple C++ HTML Generator
Very fast, high-quality hash function, discrete-incremental and streamed hashing-capable (non-cryptographic, inline C/C++) 26GB/s + PRNG
A free, open-source Java library for automata learning algorithms
LLM training in simple, raw C/CUDA
The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"
A Tutorial on Automata Learning
Model checking algorithm using CTL and LTL formulae
For easy metric logging and visualization
Codebase for Master's dissertation in Mathematics at Durham University. Topic: applying neural networks to differential equations. Grade: 85/100.
Noise reduction in python using spectral gating (speech, bioacoustics, audio, time-domain signals)
OCR library to extract text & tables from PDF files and images. Convert any image or PDF to CSV / TXT / JSON / Searchable PDF.
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
A very fast and efficient python PDF text & images extractor
Web GUI for RuiDeng/Riden USB testers (UM34C, UM24C, UM25C, TC66C)
Simple C++ template implementation of a prefix tree
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
Simple program for extracting data from UM25C bluetooth power meter and for generating real-time voltage, current and power graphs
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.