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:
- A map-based data visualization tool to display human trafficking-related incidents and policies in the United States.☆10Jan 21, 2022Updated 4 years ago
- An n-body visualization in C++ using OpenFrameworks 🌟💥☆11Mar 15, 2020Updated 6 years ago
- Browser agnostic extension that enables pasting into password fields...☆15Jan 12, 2020Updated 6 years ago
- Proof of concept on a predictive maintenance use case using federated learning to continuously improve predictions of the remaining life…☆11Feb 21, 2020Updated 6 years ago
- The goal of this project was to use Elixir and the actor model to build a good solution to the bitcoin mining problem that runs well on m…☆10Sep 19, 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.
- A monitoring program with sentiment analysis and prioritization.☆13Sep 22, 2018Updated 8 years ago
- Fancy start screen for zsh! Inspired by vim-startify.☆11Jan 17, 2020Updated 6 years ago
- Awesome software, subreddits, websites, and other cool stuff that programmers would find funny.☆46Jul 15, 2026Updated 3 months ago
- A Vim syntax definition for Zinit commands in any ft=zsh file☆11Mar 29, 2025Updated last year
- Never forget your in-code Todos☆14Dec 21, 2018Updated 7 years ago
- Swift Terminal UIKit☆11Aug 16, 2016Updated 10 years ago
- iOS, Android, web, hardware, bots...you name it, there's a meetup for you!☆22Mar 20, 2018Updated 8 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
- Modern, safe environment interactions for C++☆19Oct 20, 2025Updated last year
- 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.
- MIPS syntax highlightning package for sublime text 2☆13May 14, 2018Updated 8 years ago
- Deep learning tool for predicting individual differences (e.g. diagnostic status, IQ, etc.) from brain networks☆10Jul 29, 2022Updated 4 years ago
- A simple program that calculates a checksum over its own executable program memory☆12Mar 12, 2017Updated 9 years ago
- iOS forensics utility☆13May 8, 2018Updated 8 years ago
- Keras model and tensorflow optimization of 'improved Training of Wasserstein GANs'☆14May 24, 2018Updated 8 years ago
- Part 2 of our Stack Based Buffer Overflow series. Building the ROP chain.☆14Jan 28, 2022Updated 4 years ago
- A vim plugin for navigating between wikiedia articles☆14Jul 13, 2020Updated 6 years ago
- Use Munki to enable Touch ID for sudo☆12Jun 14, 2020Updated 6 years ago
- mOrc is a post-exploitation framework for macOS written in Bash☆19Apr 19, 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.
- Deep oceanic blue iTerm theme☆14Mar 22, 2026Updated 7 months ago
- sync a website or local spreadsheet with a google sheet☆35Jan 6, 2023Updated 3 years ago
- Advanced usage of the ptrace syscall in order to implement a more resistent anti debugging feature☆17Jan 7, 2017Updated 9 years ago
- Play Pokemon Go with your keyboard☆24Oct 12, 2016Updated 10 years ago
- Tiny theme manager for Plymouth bootsplash☆14Apr 2, 2019Updated 7 years ago
- print all the the "push" times for commits to GitHub☆16May 22, 2019Updated 7 years ago
- ☆21May 14, 2023Updated 3 years ago
- Remove messages and files in a certain duration for your Slack team☆14Mar 2, 2021Updated 5 years ago
- A supervisor for git projects☆20Aug 15, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Desktop notifications for your GitHub dashboard — Native, cross-platform and configurable☆16Aug 29, 2018Updated 8 years ago
- A basic command line URL shortener.☆15Nov 16, 2020Updated 5 years ago
- Sublime Theme with Bright Colors Inspired by Hyper Snazzy☆17Jun 3, 2024Updated 2 years ago
- All my dotfiles☆18Aug 31, 2026Updated last month
- This repo contains installation guide to everything out there. It is community driven project for community.☆15May 20, 2019Updated 7 years ago
- ☆31Jul 24, 2016Updated 10 years ago
- CLI tool to find synonyms in different languages.☆122Jan 12, 2025Updated last year