Brando's utils
☆17Jul 22, 2026Updated 3 weeks ago
Alternatives and similar repositories for ultimate-utils
Users that are interested in ultimate-utils are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Jul 22, 2026Updated 3 weeks ago
- The TacTok automated Coq proof script synthesis tool☆17Jan 9, 2024Updated 2 years ago
- Code release of the paper "Combining Resampled Importance and Projected Solid Angle Samplings for Many Area Light Rendering"☆11Jun 24, 2024Updated 2 years ago
- Binary analysis. Capstone+Keystone+Unicorn = static and dynamic binary analysis☆12Oct 11, 2019Updated 6 years ago
- Experimental pathtracing 3D renderer written in Ink☆14Jul 22, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 6 years ago
- ☆10Apr 11, 2023Updated 3 years ago
- https://albertqjiang.github.io/Portal-to-ISAbelle/☆58Sep 6, 2023Updated 2 years ago
- A Foundation for Scalable Cross-Platform Apps☆13Jun 5, 2020Updated 6 years ago
- Deep Q Learning for FrozenLake / Keras / OpenAI☆19Oct 19, 2023Updated 2 years ago
- ☆14Apr 27, 2022Updated 4 years ago
- The Physics of Energy Based Models☆17Mar 20, 2024Updated 2 years ago
- Computer Vision and Image Processing algorithms acceleration using CUDA - Guide: Prof. S. Gopalakrishnan☆17Sep 29, 2016Updated 9 years ago
- Pytorch implementation of an energy transformer - an energy-based reccurrent variant of the transformer.☆16Jul 11, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- CoGS: Controllable Generation and Search from Sketch and Style☆13Mar 18, 2023Updated 3 years ago
- EQUATE (Evaluating Quantitative Understanding Aptitude in Textual Entailment), framework for evaluating quantitative reasoning ability in…☆14Feb 13, 2022Updated 4 years ago
- ☆12Jun 19, 2025Updated last year
- ☆75Updated this week
- Based on "Monte Carlo Geometry Processing: A Grid-Free Approach to PDE-Based Methods on Volumetric Domains"☆14Dec 9, 2020Updated 5 years ago
- Script to process quotes displayed before loading pages of https://www.indiehackers.com☆14May 30, 2019Updated 7 years ago
- A repo for code based language models☆18Feb 10, 2021Updated 5 years ago
- Generalized Multi-View Detection (GMVD) dataset curated using GTA V and Unity. Accepted at WACV 2023 Workshop (Real-World Surveillance: …☆24Jul 31, 2025Updated last year
- Llemma formal2formal (tactic prediction) theorem proving experiments☆20Oct 17, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Official repository for Robust Multimodal Large Language Models Against Modality Conflict☆22Jul 9, 2025Updated last year
- ☆10Jan 20, 2021Updated 5 years ago
- Code for the CIKM'23 paper "A Retrieve-and-Read Framework for Knowledge Graph Link Prediction"☆14Mar 23, 2025Updated last year
- Physics simulation: cloth and simple procedural objects with collision detection. Animated using second-order methods.☆17Aug 24, 2017Updated 8 years ago
- Easy & Pretrained SOTA Deep Learning for RNA strings☆12Apr 15, 2022Updated 4 years ago
- Minecraft schematics dataset☆18Jan 31, 2021Updated 5 years ago
- An open bibliography of machine learning for formal proof papers☆32Sep 30, 2023Updated 2 years ago
- Code and GMVD Dataset for "Bringing Generalization to Deep Multi-view Pedestrian Detection". Accepted at WACV 2023 Workshop (Real-World S…☆27Feb 7, 2024Updated 2 years ago
- Fun plugin to play with the Gallina AST.☆39Oct 3, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- scripts for cleaning and creating train/validation/test splits for Thai commonvoice☆12Sep 2, 2021Updated 4 years ago
- A framework for few-shot evaluation of autoregressive language models.☆26Dec 21, 2023Updated 2 years ago
- A list of Rasa resources curated by Rasa and the community.☆11Apr 29, 2020Updated 6 years ago
- Thai Crosslingual Summarization Datasets.☆11Feb 15, 2023Updated 3 years ago
- ☆14Jun 22, 2020Updated 6 years ago
- The CMU Link Grammar natural language parser☆12May 31, 2024Updated 2 years ago
- ☆18Jul 3, 2020Updated 6 years ago