Interesting Papers and Ideas
☆88Feb 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
- A mongoose plugin to automatically maintain nodes & relationships in neo4j☆16Jan 27, 2026Updated 3 months ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆65Jul 26, 2019Updated 6 years ago
- A Lisp-like language implemented in C++☆76Jan 26, 2023Updated 3 years ago
- Audio-visual creative coding with LuaJIT☆16Jan 20, 2014Updated 12 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.
- A Solidity spec suite to test parsers for language compliance.☆11Dec 31, 2017Updated 8 years ago
- Modernized Sisal Interpreter☆30Nov 9, 2018Updated 7 years ago
- Data and graphs for repos and events from We Build SG☆16Aug 29, 2018Updated 7 years ago
- ☆12Jun 5, 2022Updated 3 years ago
- Source code & exercises in Arend's documentation☆21May 8, 2026Updated last week
- Official implementation of the ThreeFold blockchain☆13Jul 1, 2020Updated 5 years ago
- Talks at the <Programming> 2022 Conference in Porto, Portugal☆11Mar 30, 2022Updated 4 years ago
- Doom ported to EFR32xG24 and MGM240x devices, with BLE multiplayer☆14Oct 1, 2024Updated last year
- Archive and make discoverable data and links with schema.org metadata.☆38Nov 4, 2014Updated 11 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 DSAuthority for up to 256 roles☆16Jul 29, 2021Updated 4 years ago
- 📁 tiny C++11 file utilities 📁☆24Feb 2, 2019Updated 7 years ago
- Find the unique columns in a tabular dataset.☆13Jan 13, 2016Updated 10 years ago
- [DEPRECATED] Common tests for all Eth2.0 implementations☆20Apr 29, 2019Updated 7 years ago
- A system for disambiguating toponyms (placenames) given textual context and creating visualizations of the locations referenced in a give…☆19Jul 24, 2013Updated 12 years ago
- A tiny reactive dataflow library for scheduling a DAG of async functions in Javascript☆12Oct 22, 2022Updated 3 years ago
- Rust implementation of the secret-handshake protocol.☆12Aug 14, 2021Updated 4 years ago
- A demo of using audio engine to record, playback, add effect and perform mixing.☆24Sep 1, 2025Updated 8 months ago
- ☆66Aug 12, 2023Updated 2 years ago
- 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.
- ☆12Jan 8, 2022Updated 4 years ago
- UX research on the current state of development of the Bitcoin Lightning Network.☆16Apr 4, 2018Updated 8 years ago
- Paper on data sharing in ecology for IEE special issue☆46Aug 29, 2013Updated 12 years ago
- ATS is a spectral modeling system based on a sinusoidal plus critical-band noise decomposition. Psychoacoustic processing informs the sys…☆28Jan 12, 2021Updated 5 years ago
- Open book: Cybernetic Economic System☆14May 13, 2017Updated 9 years ago
- Julia bindings to SG-t-SNE-Π☆26Oct 23, 2024Updated last year
- Verilog design files and Icestudio file for streaming the OV7670 camera using ULX3S FPGA Board☆23Nov 17, 2021Updated 4 years ago
- Link component for Svelte☆10Aug 14, 2024Updated last year
- A Pratt parser builder.☆12Jun 5, 2018Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Getting inspiration from Sutherland's 1961 Sketchpad and Overveld's retake on its relaxation technique 30 year after, we are working on a…☆94Feb 28, 2024Updated 2 years ago
- My overcooked project for the summer☆12Aug 26, 2022Updated 3 years ago
- Typeset scattered graph data rewriter based on LaTeX nodes☆13Apr 7, 2021Updated 5 years ago
- ☆20Sep 10, 2025Updated 8 months ago
- Procedural terrain generator.☆10Jan 28, 2018Updated 8 years ago
- A toolkit for experimenting with new kinds of programming interfaces.☆202Mar 29, 2017Updated 9 years ago
- Learn cloud computing by developing and deploying a web application. In this tutorial, we create an MVC web application with Julia langua…☆10Jan 22, 2024Updated 2 years ago