anassar Goto Github PK
Type: User
Company: UC Irvine
Bio: A PhD in EECS at UC Irvine on specification and runtime verification of multiprocessor systems (architectures, languages and specification mining).
Type: User
Company: UC Irvine
Bio: A PhD in EECS at UC Irvine on specification and runtime verification of multiprocessor systems (architectures, languages and specification mining).
Supporting material for "Deep Stochastic Radar Models," submitted to IV 2017
A collection of algorithms and data structures
An experimental open-source attempt to make GPT-4 fully autonomous.
Caffe: a fast open framework for deep learning.
A Perl Tk application that runs regression test suites of large digital circuit designs (written in Verilog, VHDL or SystemVerilog) on Cadence Incisive tools, keeps track of coverage data, driven by a (XML) verification plan.
The public CGAL repository, see the README below
A browser extension to display ChatGPT response alongside search engine results
Lightweight package for interacting with ChatGPT's API by OpenAI. Uses reverse engineered official API.
🔮 ChatGPT Desktop Application (Mac, Windows and Linux)
C++ library for multi-physics simulation
Starter files, final projects, and FAQ for my Complete JavaScript course
Deep Learning for Java, Scala & Clojure on Hadoop & Spark With GPUs - From Skymind
New version of the dReal solver. More info at
Transformer related optimization, including BERT, GPT
decentralising the Ai Industry, just some language model api's...
Mirror of Apache Hadoop
Book Example Code for Hands-On Network Programming with C
An example Perl script to convert a whole website to one PDF file with the corresponding structure in the bookmarks panel. It is currently only designed to handle TensorFlow website, but should be easy to adapt to any other website. It relies on the use of wkhtmltopdf and ghostscript.
Instant neural graphics primitives: lightning fast NeRF and more
Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filters, and more. All exercises include solutions.
KLEE Symbolic Virtual Machine
Lattice-Based Boolean Diagrams (LBBDs) are a new graphical representations of Boolean functions (or any finite-valued functions). This is a toolbox for symbolically manipulating Boolean functions based on LBBDs, with a powerful graphical interface that enables reading Boolean functions in many formats (e.g., BLIF and DIMACS) and generates/displays DOT graphs of LBBDs and BDDs using an embedded SVG graphics interpreter.
Read-only mirror. Please submit merge requests / issues to https://gitlab.com/libvirt/libvirt
A community-maintained Python framework for creating mathematical animations.
MovSim: multi-model open-source vehicular-traffic simulator
Multi-Joint dynamics with Contact. A general purpose physics simulator.
My OpenCV experiments and tutorials
Code release for NeRF (Neural Radiance Fields)
The Open Motion Planning Library (OMPL)
OpenAssistant is a chat-based assistant that understands tasks, can interact with third-party systems, and retrieve information dynamically to do so.
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.