β14Jul 19, 2023Updated 3 years ago
Alternatives and similar repositories for old-old-spd
Users that are interested in old-old-spd are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- π Chenβs Private Cuisine Menuβ10Jan 4, 2026Updated 7 months ago
- ππ§ Prototype template #lang for Pollenβ11Nov 24, 2025Updated 8 months ago
- Play code with online playgroundsβ13Mar 22, 2020Updated 6 years ago
- Web of the siteβ11Feb 22, 2022Updated 4 years ago
- Unofficial PyTorch implementation of DALL-E 2 by OpenAIβ10Apr 6, 2022Updated 4 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.
- Stronger types for a few Typed Racket operatorsβ11Jan 25, 2024Updated 2 years ago
- Local first application platform built using CRDTsβ23Mar 9, 2023Updated 3 years ago
- CoAP protocol in Elixirβ13Mar 24, 2016Updated 10 years ago
- Yet Another Org-Mode-and-Clojure-Based Static Blogβ11Apr 4, 2023Updated 3 years ago
- A Redex tutorial with a focus on how to do work in Redexβ11Oct 21, 2024Updated last year
- Closure web engineβ17Jul 22, 2022Updated 4 years ago
- Simple implementation of ST LC type checker in Haskellβ13Apr 18, 2022Updated 4 years ago
- Official JavaScript client for SlicingDice, Data Warehouse and Analytics Database as a Service.β11Dec 15, 2018Updated 7 years ago
- Moved to https://github.com/RealityETH/monorepo/tree/main/packages/contractsβ15Dec 8, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off β’ AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Erlang unique id generator based on UNIX timestamp.β15Jun 25, 2019Updated 7 years ago
- Random scraps using different languages and tools saved in case of some disasterβ14Dec 29, 2025Updated 7 months ago
- A plugin for Joplin which sends your note to your email clientβ12Feb 1, 2025Updated last year
- The WIP book for CPSC 411β68Jul 10, 2026Updated last month
- A Coq plugin to disable positivity check, guard check and termination checkβ16Nov 2, 2019Updated 6 years ago
- Benchmark of fp webservers http://maxim.livejournal.com/392358.htmlβ15Nov 15, 2013Updated 12 years ago
- Substratic Engine - A game engine for Gambit Schemeβ11Jul 10, 2020Updated 6 years ago
- Scheme's commonly used small functionsβ29Sep 24, 2019Updated 6 years ago
- A very little languageβ16Jul 1, 2023Updated 3 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.
- Contracts and Circuits for 055 Artifactsβ10Aug 12, 2022Updated 3 years ago
- My Emacs configuration.β12Mar 20, 2026Updated 4 months ago
- Theorem Proving in Emacsβ12Aug 18, 2025Updated 11 months ago
- RSS, Atom and general feed parsing and generatingβ14May 18, 2026Updated 2 months ago
- ECC based blind signatures in Rustβ14Jun 20, 2018Updated 8 years ago
- A formalization of System FΟ in Agdaβ20Dec 23, 2025Updated 7 months ago
- General-purpose keymap management Γ -la Emacsβ15Jan 27, 2025Updated last year
- A Node.js addon for VSOCK socket, napi-rs based.β12Nov 18, 2024Updated last year
- β62Apr 12, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Erlang Process Pools as a Local Variableβ21Oct 26, 2023Updated 2 years ago
- A WebRTC data channel establishment with QR codes used for signaling channel.β10Apr 28, 2022Updated 4 years ago
- https://metaborg.github.io/mj.agda/β13Oct 14, 2020Updated 5 years ago
- Tools to convert EQL expressions to GraphQL stringsβ19Nov 19, 2024Updated last year
- memory-efficient Erlang data structures to store distributions of larges sets of dataβ22Mar 3, 2025Updated last year
- Process balancer and distributor for Erlang/OTPβ26Dec 17, 2018Updated 7 years ago
- β17Aug 27, 2023Updated 2 years ago