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
Sorting:
- A comprehensive, minimal npm package of common data structures and algorithms in ES6 developed for production use.☆15Nov 21, 2020Updated 5 years ago
- Walk-through and implementation of various data structures.☆15Aug 16, 2017Updated 8 years ago
- The unofficial API for MLH events.☆13Dec 9, 2022Updated 3 years ago
- Navigate safely through campus and learn about the health and safety resources near you with Illini SafeMaps.☆18May 4, 2019Updated 6 years ago
- A centralized virtual resource hub aimed to equalize and promote information access to vital community resources 🗺️☆30Dec 3, 2021Updated 4 years ago
- CTF write-ups☆13Jul 9, 2018Updated 7 years ago
- 🛠️ Tool to bypass my school's security system to get sudo privileges on MacOS☆41Jan 22, 2020Updated 6 years ago
- A Vim syntax definition for Zinit commands in any ft=zsh file☆11Mar 29, 2025Updated 11 months 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
- Never forget your in-code Todos☆14Dec 21, 2018Updated 7 years ago
- MIPS syntax highlightning package for sublime text 2☆13May 14, 2018Updated 7 years ago
- Remove messages and files in a certain duration for your Slack team☆14Mar 2, 2021Updated 5 years ago
- GitHub Issues on the command line. Use your $EDITOR, not your browser.☆14Apr 4, 2023Updated 2 years ago
- Steal users password with a fake sudo function.☆43Feb 29, 2024Updated 2 years ago
- Swift Terminal UIKit☆11Aug 16, 2016Updated 9 years ago
- Browser agnostic extension that enables pasting into password fields...☆15Jan 12, 2020Updated 6 years ago
- Detect common mistakes in academic papers☆61Mar 1, 2019Updated 7 years ago
- ☆15Mar 5, 2019Updated 6 years ago
- Part 2 of our Stack Based Buffer Overflow series. Building the ROP chain.☆13Jan 28, 2022Updated 4 years ago
- An intuitive resource map to aid nonprofit Life After Hate staff in finding resources for individuals attempting to disengage from hate g…☆14May 22, 2024Updated last year
- Tiny theme manager for Plymouth bootsplash☆13Apr 2, 2019Updated 6 years ago
- transfer ownership of any FB50 smart lock to yourself (CVE-2019-13143)☆16Aug 7, 2019Updated 6 years ago
- textwrap, but savvy to ANSI colors☆22Jun 29, 2023Updated 2 years ago
- A basic command line URL shortener.☆14Nov 16, 2020Updated 5 years ago
- Simple advent candle for the MagicMirror☆12Dec 9, 2016Updated 9 years ago
- Highlight yanked text in Vim☆18Mar 20, 2021Updated 4 years ago
- The simplest machine learning library for launching UIs, running evaluations, and comparing model performance.☆13Feb 16, 2023Updated 3 years ago
- A platform for running code plagiarism (cheating) detection software on large datasets☆14Nov 7, 2016Updated 9 years ago
- simple tool to clone all repos in a project that share a common prefix☆17May 22, 2019Updated 6 years ago
- print all the the "push" times for commits to GitHub☆16May 22, 2019Updated 6 years ago
- This repo contains installation guide to everything out there. It is community driven project for community.☆15May 20, 2019Updated 6 years ago
- Advanced usage of the ptrace syscall in order to implement a more resistent anti debugging feature☆17Jan 7, 2017Updated 9 years ago
- Analyze usage patterns of imported modules in a Python program☆17Nov 20, 2024Updated last year
- mOrc is a post-exploitation framework for macOS written in Bash☆19Apr 19, 2023Updated 2 years ago
- Convert your GitHub wiki into your own personalised site. Check more information on the choices made at https://blog.ably.io/hacking-gith…☆15Jul 3, 2018Updated 7 years ago
- Digital Assistant for Linux - Similar to Cortana, Siri, Alexa, and Google Assistant☆21Jul 21, 2017Updated 8 years ago
- Bash scripts to automatically run Restic backups☆22Apr 19, 2018Updated 7 years ago
- A module to improve "file/command not found" error messages with "did you mean" suggestions.☆18Sep 1, 2021Updated 4 years ago
- ☆19May 14, 2023Updated 2 years ago