A Twitter bot that tweets books.
☆20Aug 16, 2022Updated 4 years ago
Alternatives and similar repositories for took
Users that are interested in took are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Street art between woofmark and horsey☆11Jul 19, 2016Updated 10 years ago
- General purpose hits (page views) counter written in Node.js backed by filesystem. (MVP)☆14Oct 7, 2022Updated 3 years ago
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Jan 28, 2026Updated 7 months ago
- A C++ Compiler (on the works)☆14Jun 25, 2023Updated 3 years ago
- A package for representing quasi-arrays☆11Aug 28, 2026Updated last week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Project Euler GPT Resolver☆10Feb 12, 2024Updated 2 years ago
- Non-blocking concurrent hashmap for Haskell☆18Sep 29, 2017Updated 8 years ago
- Gotta catch 'em all!☆12Apr 19, 2023Updated 3 years ago
- vim + razer RGB keyboards☆16Feb 27, 2022Updated 4 years ago
- egraphs-good website☆17Mar 10, 2026Updated 5 months ago
- Fast asynchronous GPU monitoring tool across multiple machines through SSH☆12Nov 26, 2024Updated last year
- A C# GitHub client with a Winforms UI☆16Jul 21, 2018Updated 8 years ago
- Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…☆13May 23, 2018Updated 8 years ago
- Dual numbers compatible with physical units☆11Dec 4, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Question / answer AI bot for SuperTokens☆13Apr 23, 2023Updated 3 years ago
- Leveraging NLP and supervised learning methods to classify posts scraped via Reddit's API☆11Feb 5, 2019Updated 7 years ago
- Rust bot that runs periodically on AWS Lambda and retweets any Tweets matching a query☆17Mar 24, 2023Updated 3 years ago
- ☆15Aug 29, 2021Updated 5 years ago
- Implementation of Direct Preference Optimization☆17Jul 17, 2023Updated 3 years ago
- Object-oriented programming in Python for mathematicians☆15Jan 20, 2026Updated 7 months ago
- A formalization of first-order logic and Peano's axioms in Python☆21Jun 21, 2025Updated last year
- Work in progress - Objective is to develop a comprehensive textbook on finite difference computing with Devito☆19Feb 23, 2026Updated 6 months ago
- Rust PRNGs: splitmix64, xoroshiro128+, xorshift128+, and xorshift1024*☆18Jan 9, 2019Updated 7 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.
- Supports approximating functions and solving differential equations on various higher dimensional domains such as disks and triangles☆20Jul 25, 2026Updated last month
- A differential testing tool targeting SPIRV based on structured fuzzing techniques☆16Dec 9, 2022Updated 3 years ago
- An iterator adapter to peek at future elements without advancing the cursor of the underlying iterator.☆28Apr 29, 2023Updated 3 years ago
- tree-sitter grammar for intel x86 assembly☆30Oct 8, 2023Updated 2 years ago
- (ARCHIVED) A smarter library of finite elements☆18Mar 31, 2025Updated last year
- Files that take you from a jpeg or jpg file to the plotting of a the outline via a DFT.☆21Apr 13, 2021Updated 5 years ago
- Experiments with interactive theorem provers, LLMs and formal systems☆24Jul 10, 2023Updated 3 years ago
- ☆21Sep 30, 2018Updated 7 years ago
- Rough implementation of algebraic groups in python.☆18May 1, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- LAN Discovery - Discover all reachable machines on a LAN quickly using an asynchronous ping and an ARP command☆17Sep 7, 2017Updated 9 years ago
- C++ Big Integer Library☆20Apr 13, 2021Updated 5 years ago
- Generate OpenAPI Documentation from prisma models☆21Aug 6, 2026Updated last month
- See what’s happening in the world right now☆25Nov 28, 2022Updated 3 years ago
- ☆18May 24, 2021Updated 5 years ago
- Rust library for Self Organising Maps (SOM).☆36Oct 15, 2022Updated 3 years ago
- Official code accompanying the arXiv paper Compressing Multisets with Large Alphabets☆30Sep 22, 2021Updated 4 years ago