β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 7 months ago
- π Chenβs Private Cuisine Menuβ10Jan 4, 2026Updated 8 months ago
- ππ§ Prototype template #lang for Pollenβ11Nov 24, 2025Updated 9 months ago
- Web of the siteβ11Feb 22, 2022Updated 4 years ago
- a python code runner for Quartz static site generatorβ11Aug 15, 2025Updated last year
- 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.
- Code from CS152 lecturesβ14Apr 13, 2026Updated 5 months ago
- Stronger types for a few Typed Racket operatorsβ11Jan 25, 2024Updated 2 years ago
- Local first application platform built using CRDTsβ22Mar 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
- Proof-of-concept, mostly safe multimethods in Racketβ12Sep 9, 2020Updated 6 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.
- Moved to https://github.com/RealityETH/monorepo/tree/main/packages/contractsβ15Dec 8, 2022Updated 3 years ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.β12Apr 3, 2026Updated 5 months ago
- Erlang unique id generator based on UNIX timestamp.β15Jun 25, 2019Updated 7 years ago
- β17Apr 4, 2024Updated 2 years ago
- Random scraps using different languages and tools saved in case of some disasterβ14Dec 29, 2025Updated 8 months 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
- Test Descriptions for CoAP#4β12May 14, 2018Updated 8 years ago
- Theorem Proving in Emacsβ12Aug 18, 2025Updated last year
- 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.
- RSS, Atom and general feed parsing and generatingβ14May 18, 2026Updated 4 months ago
- A formalization of System FΟ in Agdaβ20Dec 23, 2025Updated 8 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
- A micro-kernel operating system based on the Barrelfish CPU-driver.β21Mar 6, 2018Updated 8 years ago
- ECC based blind signatures in Rustβ15Jun 20, 2018Updated 8 years ago
- 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
- 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.
- 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
- memory-efficient Erlang data structures to store distributions of larges sets of dataβ22Mar 3, 2025Updated last year
- β21Nov 14, 2023Updated 2 years ago
- Erlang CSV Parserβ30Aug 10, 2020Updated 6 years ago
- A simple ORM for paris (https://github.com/emedia-project/paris)β18Feb 7, 2017Updated 9 years ago
- β12Aug 11, 2026Updated last month