Winner of LA Hack's Award Best Use of Wolfram Tech 🎉 An AI system to determine if a given statement is true or false.
☆18Feb 11, 2019Updated 7 years ago
Alternatives and similar repositories for vera
Users that are interested in vera are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Walk-through and implementation of various data structures.☆15Aug 16, 2017Updated 9 years ago
- The unofficial API for MLH events.☆14Dec 9, 2022Updated 3 years ago
- Bell Schedule web application for Harker students 🔔☆15Jan 6, 2020Updated 6 years ago
- A DFS-based maze generator and solver.☆10Feb 14, 2018Updated 8 years ago
- advanced topic expert systems☆19May 15, 2017Updated 9 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.
- Cayenne API for Node.JS☆12Feb 27, 2023Updated 3 years ago
- 🌈 Highlights similar variables on focus☆14Apr 23, 2023Updated 3 years ago
- A hyperminimal, lightweight macOS desktop music application☆52May 29, 2020Updated 6 years ago
- Universal browser interface for Xcode.☆19Jul 26, 2019Updated 7 years ago
- A visual SLAM library accompany with CoSLAM☆26Apr 5, 2018Updated 8 years ago
- Go wrapper for the Trakt.tv v2 API.☆11Oct 16, 2016Updated 9 years ago
- Onfleet Ruby Gem☆13Jan 10, 2020Updated 6 years ago
- Lightweight and efficient C++ library to stream photos and videos via Airplay.☆19Jan 18, 2019Updated 7 years ago
- A starting repository for setting up a MERN project☆20Mar 5, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 🛠️ Tool to bypass my school's security system to get sudo privileges on MacOS☆41Jan 22, 2020Updated 6 years ago
- Spin FV-1 based effects module for Eurorack systems☆16Oct 25, 2018Updated 7 years ago
- Awesome software, subreddits, websites, and other cool stuff that programmers would find funny.☆46Jul 15, 2026Updated last month
- Open source implementation of Randonautica functionality, with a Telegram bot. (DEPRECATED! See PyRandonaut.)☆15Aug 3, 2022Updated 4 years ago
- Comprehensive, instructor-approved notes for EE 16B at UC Berkeley.☆17Jun 30, 2020Updated 6 years ago
- Cross-project defection prediction tooling☆17Nov 30, 2021Updated 4 years ago
- Never forget your in-code Todos☆14Dec 21, 2018Updated 7 years ago
- CTF write-ups☆13Jul 9, 2018Updated 8 years ago
- Simple react.js component for a fun prgress indicator☆20Jul 20, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Small System Framework - JSON parser/generator, Reed-Solomon, finite state machine framework, and other high quality interfaces for emb…☆30Aug 5, 2026Updated 3 weeks ago
- Swift Terminal UIKit☆11Aug 16, 2016Updated 10 years ago
- A companion app for developers to reach out Issues, Commits and Pull-Requests on browser through their terminal☆11Feb 11, 2022Updated 4 years ago
- Detect common mistakes in academic papers☆62Mar 1, 2019Updated 7 years ago
- iOS, Android, web, hardware, bots...you name it, there's a meetup for you!☆22Mar 20, 2018Updated 8 years ago
- A simple program that calculates a checksum over its own executable program memory☆12Mar 12, 2017Updated 9 years ago
- A spotify application with rofi as frontend☆11Mar 10, 2020Updated 6 years ago
- transfer ownership of any FB50 smart lock to yourself (CVE-2019-13143)☆16Aug 7, 2019Updated 7 years ago
- GitHub Issues on the command line. Use your $EDITOR, not your browser.☆15Apr 4, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Deep oceanic blue iTerm theme☆14Mar 22, 2026Updated 5 months ago
- A vim plugin for navigating between wikiedia articles☆14Jul 13, 2020Updated 6 years ago
- This is a collection of scripts to add to kali linux☆22Feb 14, 2018Updated 8 years ago
- mOrc is a post-exploitation framework for macOS written in Bash☆19Apr 19, 2023Updated 3 years ago
- sync a website or local spreadsheet with a google sheet☆35Jan 6, 2023Updated 3 years ago
- Update iCloud tabs from Chrome.☆36Jul 21, 2013Updated 13 years ago
- Highlight yanked text in Vim☆17Mar 20, 2021Updated 5 years ago