Interesting Papers and Ideas
☆87Feb 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
- ☆46Mar 14, 2023Updated 3 years ago
- OOP for React applications☆17Oct 25, 2019Updated 6 years ago
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- ☆13Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A Solidity spec suite to test parsers for language compliance.☆11Dec 31, 2017Updated 8 years ago
- cprops - C Prototyping Tools☆12Jul 27, 2012Updated 13 years ago
- Collection of audio plugins based on Dear ImGui and DPF☆16Jan 30, 2026Updated 2 months ago
- Data and graphs for repos and events from We Build SG☆16Aug 29, 2018Updated 7 years ago
- Source code & exercises in Arend's documentation☆21Jul 19, 2021Updated 4 years ago
- A 1-3D shape function library composing the Exact Sequence for Elements of All Shapes☆15Nov 6, 2023Updated 2 years ago
- ☆22Mar 30, 2026Updated last week
- Unofficial dribbble client in flutter. Runs in both android and iOS.☆13Mar 13, 2018Updated 8 years ago
- KLIC: Portable implementation of KL1. Forked from "https://www.ueda.info.waseda.ac.jp/software-j.html"☆15Oct 27, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Tutorial for the CHR system☆16Feb 8, 2021Updated 5 years ago
- Cross-compile, package and deploy AWS Lambda functions with only docker as a dependency using cargo aws-lambda☆20Jun 17, 2022Updated 3 years ago
- An Go language package for getting your public IP address. It's inspired by go-ipify: https://github.com/rdegges/go-ipify☆24Oct 16, 2019Updated 6 years ago
- Generate a Plist from any JSON document☆10Dec 18, 2013Updated 12 years ago
- Javascript Interpreter in Functional-Style Javascript☆20Feb 9, 2018Updated 8 years ago
- YaoLang: The next DSL for Yao and quantum programs.☆31May 17, 2021Updated 4 years ago
- LyricsX command line interface for Linux.☆11Apr 21, 2024Updated last year
- Dynamic execution environments for coupled, thread-heterogeneous MPI+X applications☆21Mar 3, 2025Updated last year
- [DEPRECATED] Common tests for all Eth2.0 implementations☆20Apr 29, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The VAX/VMS 3.7 (1984) source code.☆27Jan 27, 2023Updated 3 years ago
- ☆11Feb 26, 2026Updated last month
- 🥩Using Proof of Stake to secure Proofs of Steak☆14Jan 12, 2023Updated 3 years ago
- 💧 File-based routing for Vapor apps☆14Sep 25, 2023Updated 2 years ago
- ☆20Jun 29, 2017Updated 8 years ago
- An artificial life experiment.☆12Jul 30, 2020Updated 5 years ago
- ☆66Aug 12, 2023Updated 2 years ago
- ☆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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- coq-synthesis is a Coq plugin for proof generation and next tactic prediction☆13Jul 26, 2024Updated last year
- A minimal example that investigates how to build a Swift project that depends on a compiled, non-system C++ library☆11Feb 13, 2017Updated 9 years ago
- Open book: Cybernetic Economic System☆14May 13, 2017Updated 8 years ago
- 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
- convert MSBuild project files to C# pseudo-code☆10Nov 17, 2024Updated last year
- A trace visualization of MicroKanren logic programs, in JS.☆14Jan 1, 2023Updated 3 years ago
- A toolkit for experimenting with new kinds of programming interfaces.☆202Mar 29, 2017Updated 9 years ago