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:
- C implementation of Karplus–Strong synthesis for tiny MCUs☆11Aug 28, 2013Updated 12 years ago
- Suite of tools for game developers building on MUD☆12Mar 13, 2024Updated 2 years ago
- 🌈 Highlights similar variables on focus☆11Apr 23, 2023Updated 3 years ago
- An Interval Tree Library☆12Dec 7, 2024Updated last year
- Entitypedia is an Extended Named Entity Dictionary from Wikipedia.☆13Dec 7, 2022Updated 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.
- Repository for in class material for Data Bootcamp☆14May 18, 2019Updated 7 years ago
- LaTeX support for Sublime's LSP plugin provided through latex-lsp/texlab.☆18Apr 8, 2026Updated last month
- A high-performance, anonymous URL shortener built using Redis + Node.js with a API-backed design.☆22Nov 30, 2014Updated 11 years ago
- RhymerFinder predicts the rhymes in a song based on preceding lyrics by using gensim's Word2Vec implementation.☆10Aug 15, 2017Updated 8 years ago
- Onfleet Ruby Gem☆13Jan 10, 2020Updated 6 years ago
- ☆32Aug 18, 2025Updated 9 months ago
- Spin FV-1 based effects module for Eurorack systems☆15Oct 25, 2018Updated 7 years ago
- ☆13Nov 25, 2020Updated 5 years ago
- Interactive BLE MIDI demo using an iOS app (SwiftUI), an ESP32 (Python) and an FPGA (Verilog)☆23Jul 30, 2021Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Abstract midi pitches into keys, chords, modes, scales, and notes.☆20May 4, 2024Updated 2 years ago
- A Vim syntax definition for Zinit commands in any ft=zsh file☆11Mar 29, 2025Updated last year
- Brain sensing headband experiment to model positive and negative emotional patterns using smart algorithms and the Muse API.☆17May 23, 2017Updated 8 years ago
- Open source implementation of Randonautica functionality, with a Telegram bot. (DEPRECATED! See PyRandonaut.)☆15Aug 3, 2022Updated 3 years ago
- Q: What do Seaport Orders and The Circus Have in common? A: They're both intents.☆30May 31, 2023Updated 2 years ago
- Generates random crosswords using a database of 400k+ classic NYTimes clues.☆17Jun 28, 2015Updated 10 years ago
- iOS forensics utility☆13May 8, 2018Updated 8 years ago
- Steal users password with a fake sudo function.☆44Feb 29, 2024Updated 2 years ago
- Chord chart utility for web. Make progressions and interactive tabluation apps☆28Jun 2, 2013Updated 12 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.
- Apple Application automation library using applescript (osascript)☆54May 31, 2019Updated 6 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☆61Mar 1, 2019Updated 7 years ago
- A small JavaScript library for drawing shapes and mathematical functions in a coordinate system☆16Aug 15, 2018Updated 7 years ago
- A simple program that calculates a checksum over its own executable program memory☆12Mar 12, 2017Updated 9 years ago
- ☆24Dec 11, 2018Updated 7 years ago
- MIPS syntax highlightning package for sublime text 2☆13May 14, 2018Updated 8 years ago
- CTF write-ups☆13Jul 9, 2018Updated 7 years ago
- iOS, Android, web, hardware, bots...you name it, there's a meetup for you!☆23Mar 20, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Notes and files from reverse engineering the iClicker base station☆11May 18, 2019Updated 7 years ago
- transfer ownership of any FB50 smart lock to yourself (CVE-2019-13143)☆17Aug 7, 2019Updated 6 years ago
- Tutorials and tips, how to create modules for VCV Rack☆22Mar 1, 2019Updated 7 years ago
- Randomize Elon's best quotes☆23Apr 19, 2020Updated 6 years ago
- Deep oceanic blue iTerm theme☆14Mar 22, 2026Updated last month
- Use Munki to enable Touch ID for sudo☆12Jun 14, 2020Updated 5 years ago
- Real-time geo tracking using Rails, ActionCable, React, MobX, and MapBox☆21Aug 2, 2017Updated 8 years ago