marcosaelzer
Follow
Starred repositories
library & platform to build, distribute, monetize ai apps that have the full context (like rewind, granola, etc.), open source, 100% local, developer friendly. 24/7 screen, mic, keyboard recording …
⏩ Continue is the leading open-source AI code assistant. You can connect any models and any context to build custom autocomplete and chat experiences inside VS Code and JetBrains
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
BenchTemp: A General Benchmark for Evaluating Temporal Graph Neural Networks
A hands-on tutorial on explainability of graph neural networks
🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)
Provable adversarial robustness at ImageNet scale
Implementation of the certificates proposed in the paper "Efficient Robustness Certificates for Discrete Data: Sparsity-Aware Randomized Smoothing for Graphs, Images and More"
A site generator in OCaml 🐫 (OCurrent pipelines too)
Low-level JSON parsing and pretty-printing library for OCaml
TensorFlow GNN is a library to build Graph Neural Networks on the TensorFlow platform.
Implementation of the paper "Certifiable Robustness and Robust Training for Graph Convolutional Networks".
A Python model checking package
PyScript is an open source platform for Python in the browser. Try PyScript: https://pyscript.com Examples: https://tinyurl.com/pyscript-examples Community: https://discord.gg/HxvBtukrg2
A web-based collaborative LaTeX editor
A library to help writing wrappers around ocaml code for python
The interactive graphing library for Python ✨ This project now includes Plotly Express!
A Python toolbox to create adversarial examples that fool neural networks in PyTorch, TensorFlow, and JAX
