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