Skip to content
View 3brahimi's full-sized avatar

Highlights

  • Pro

Block or report 3brahimi

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Arbitrary-sized integer class for C++

C++ 398 132 Updated Jul 23, 2024

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

C 269 43 Updated Jun 13, 2024

LLM training in simple, raw C/CUDA

Cuda 24,707 2,800 Updated Oct 2, 2024

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

Java 1,174 312 Updated Sep 5, 2022

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. …

C++ 305 52 Updated Jun 21, 2020

Build a RAG preprocessing pipeline

Jupyter Notebook 10 Updated Apr 7, 2024

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

C++ 13,300 2,326 Updated Dec 12, 2024

A simple C++ HTML Generator

C++ 33 8 Updated Nov 6, 2022

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

Jupyter Notebook 30 18 Updated Dec 10, 2024

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…

Python 283 88 Updated Dec 6, 2024

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

Jupyter Notebook 1,497 234 Updated Dec 12, 2024

A curated list of awesome TikZ packages and resources

34 5 Updated Mar 25, 2024

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

Julia 2,879 231 Updated Nov 6, 2024
MATLAB 2 2 Updated Oct 11, 2023

Physics-informed neural network for solving fluid dynamics problems

Python 201 51 Updated Jan 28, 2021

Generating novel MNIST digits using neural cellular automata.

Python 6 1 Updated Jul 2, 2020

Reinforcement Learning framework for Temporal Goals

Python 11 4 Updated Mar 6, 2023

Specify and synthesize systems using symbolic algorithms

Python 46 5 Updated Oct 31, 2024

Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.

Python 56 8 Updated Aug 28, 2023

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

Python 94 16 Updated Oct 2, 2024
Python 123 10 Updated Jan 9, 2024

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

Python 231 30 Updated Oct 9, 2024

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).

Lua 70 4 Updated Dec 15, 2023

A python implementation of event based Hybrid Automata simulation framework.

Python 3 Updated Aug 30, 2021

Reachability checker for hybrid automata

Python 2 Updated Mar 21, 2018

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

Java 37 11 Updated Aug 19, 2024

Synthesis of hybrid automata from data

Python 6 Updated Apr 23, 2023

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

Python 27 6 Updated Mar 21, 2023

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

Python 3 1 Updated Jul 6, 2022

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

C++ 6,126 658 Updated Dec 14, 2024
Next