☆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:
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Jan 28, 2026Updated 5 months ago
- a collection of jupyter notebooks that use SimPEG.EM☆17Nov 22, 2019Updated 6 years ago
- 📡 Static and serverless canonical imports for your Go packages☆23Dec 30, 2021Updated 4 years ago
- Open Source Textbook for DSCI100: Introduction to Data Science in R☆54Mar 18, 2025Updated last year
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 6 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 🐝🧇 Prototype template #lang for Pollen☆11Nov 24, 2025Updated 7 months ago
- Play code with online playgrounds☆13Mar 22, 2020Updated 6 years ago
- Code from CS152 lectures☆14Apr 13, 2026Updated 3 months ago
- Unofficial PyTorch implementation of DALL-E 2 by OpenAI☆10Apr 6, 2022Updated 4 years ago
- a python code runner for Quartz static site generator☆11Aug 15, 2025Updated 11 months ago
- 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
- In-memory trie based router for fast parallel path lookups with wildcards.☆15Oct 1, 2025Updated 9 months ago
- Closure web engine☆17Jul 22, 2022Updated 3 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.
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 4 years ago
- Proof-of-concept, mostly safe multimethods in Racket☆12Sep 9, 2020Updated 5 years ago
- ☆17Apr 4, 2024Updated 2 years ago
- 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 6 months ago
- ☆16Jun 26, 2019Updated 7 years ago
- A Coq plugin to disable positivity check, guard check and termination check☆16Nov 2, 2019Updated 6 years ago
- A tiny nearest-neighbor embedding database written in C☆19Feb 18, 2026Updated 5 months ago
- Substratic Engine - A game engine for Gambit Scheme☆11Jul 10, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Scheme's commonly used small functions☆29Sep 24, 2019Updated 6 years ago
- Test Descriptions for CoAP#4☆12May 14, 2018Updated 8 years ago
- A very little language☆16Jul 1, 2023Updated 3 years ago
- Theorem Proving in Emacs☆12Aug 18, 2025Updated 11 months ago
- My Emacs configuration.☆12Mar 20, 2026Updated 4 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 6 months ago
- Enable live link previews on your website☆14Aug 10, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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
- ☆61Apr 12, 2026Updated 3 months ago
- My personal base configuration for nyxt browser with opinionated theme(s) and organization.☆16Jul 1, 2021Updated 5 years ago
- A WebRTC data channel establishment with QR codes used for signaling channel.☆10Apr 28, 2022Updated 4 years ago
- Court Decisions (Judgments) of UK courts including those of the High Courts, Courts of Appeal and the Supreme Court☆13Jul 7, 2018Updated 8 years ago
- Tools to convert EQL expressions to GraphQL strings☆19Nov 19, 2024Updated last year