Interesting Papers and Ideas
☆89Feb 19, 2017Updated 9 years ago
Alternatives and similar repositories for theory
Users that are interested in theory are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The tiniest standalone script to make a window on MacOS☆12Jan 21, 2023Updated 3 years ago
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- Notary: A Device for Secure Transaction Approval 📟☆30Feb 1, 2025Updated last year
- Final project for CS486 (AI)☆11Apr 26, 2017Updated 9 years ago
- cprops - C Prototyping Tools☆11Jul 27, 2012Updated 14 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.
- ☆10Dec 6, 2022Updated 3 years ago
- Docker container that can build a hugo site from a git repo and push it to a s3 bucket.☆12Aug 22, 2017Updated 9 years ago
- Sorting out the basic facts behind our projects.☆10Sep 1, 2016Updated 10 years ago
- Generate a Plist from any JSON document☆10Dec 18, 2013Updated 12 years ago
- Tools for reasoning about circuits in Rosette/Racket 🔌☆20Feb 1, 2025Updated last year
- A micro compiler for the FORTH programming language☆14Jul 5, 2026Updated 2 months ago
- LyricsX command line interface for Linux.☆11Apr 21, 2024Updated 2 years ago
- Repository is made to save OSKIT code.☆14Dec 1, 2024Updated last year
- Watch "A New Hope" in your terminal☆12May 4, 2019Updated 7 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.
- Dynamic execution environments for coupled, thread-heterogeneous MPI+X applications☆23Aug 10, 2026Updated last month
- A DSAuthority for up to 256 roles☆16Jul 29, 2021Updated 5 years ago
- [DEPRECATED] Common tests for all Eth2.0 implementations☆20Apr 29, 2019Updated 7 years ago
- 💧 File-based routing for Vapor apps☆14Sep 25, 2023Updated 2 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆37Oct 23, 2012Updated 13 years ago
- An artificial life experiment.☆12Jul 30, 2020Updated 6 years ago
- coq-synthesis is a Coq plugin for proof generation and next tactic prediction☆13Jul 26, 2024Updated 2 years ago
- ☆10Mar 17, 2017Updated 9 years ago
- Provide automatic wrapping of continuations around Objective-C message sends.☆15Apr 6, 2010Updated 16 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.
- Encode & decode any text into any custom alphabet, multibyte code points supported.☆10Jan 16, 2017Updated 9 years ago
- Perl Custom Runtime for writing AWS Lambda functions in Perl☆12Apr 11, 2019Updated 7 years ago
- Flow based Visual Programming☆12Dec 16, 2015Updated 10 years ago
- A lightweight, high performance geometry library in Swift.☆21Jan 4, 2024Updated 2 years ago
- A toolkit for experimenting with new kinds of programming interfaces.☆202Mar 29, 2017Updated 9 years ago
- Image scanner built using a LEGO Mindstorms EV3 Education set and an extra wheel. Includes source and build instructions.☆33Dec 18, 2021Updated 4 years ago
- Procedural terrain generator.☆10Jan 28, 2018Updated 8 years ago
- Demo of a simple ASP.NET Core web API written in Swift☆13Jun 8, 2021Updated 5 years ago
- Coding is a team sport.☆12Feb 5, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Simple Objective-C code signature validation☆35Apr 8, 2024Updated 2 years ago
- Interactive Web Console for Rebol language (Ren-C branch)☆14Dec 16, 2025Updated 9 months ago
- Phanide - Pharo Native IDE☆17Jul 14, 2021Updated 5 years ago
- WebRTC network connector for Yjs/Yrs update gossips☆14Mar 26, 2026Updated 5 months ago
- A collection of the thoughts of people like Doug Engelbart, Bret Victor, Ted Nelson, Alan Kay and other programming luminaries of our gen…☆38Jun 19, 2018Updated 8 years ago
- A pattern matching extension for C#6☆12May 20, 2016Updated 10 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆13Aug 19, 2017Updated 9 years ago