Defining the semantics of K in K
☆16May 6, 2020Updated 6 years ago
Alternatives and similar repositories for k-in-k
Users that are interested in k-in-k are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Plugin files for editing K files☆12Aug 20, 2024Updated 2 years ago
- Formal semantics of LLVM IR in K☆51Jun 13, 2018Updated 8 years ago
- The semantics of Python in K☆24Aug 20, 2013Updated 13 years ago
- The semantics of Java in K☆24Sep 15, 2021Updated 5 years ago
- A cuelang testing package☆13Apr 10, 2022Updated 4 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.
- Very fast in-process cache with least-recently used (LRU) and time-to-live (TTL) expiration semantics.☆10Aug 15, 2020Updated 6 years ago
- An emacs extension that sonifies your code.☆21Jan 10, 2019Updated 7 years ago
- ☆13Mar 25, 2012Updated 14 years ago
- Interval arithmetic for real computation☆27Feb 7, 2026Updated 8 months ago
- Interactive POetry Editor☆28Oct 24, 2021Updated 4 years ago
- Nix-packaged Secure Enclave-backed SSH authentication and Git SSH signing for macOS.☆13Oct 3, 2026Updated 2 weeks ago
- K Framework Tools 7.0☆599Sep 14, 2026Updated last month
- Hardware-based tick counters for high-precision benchmarks in Rust☆28May 27, 2024Updated 2 years ago
- ☆16Apr 16, 2021Updated 5 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.
- Crystal wrapper for Http Parser lib: https://github.com/joyent/http-parser☆17Feb 27, 2017Updated 9 years ago
- ☆12Feb 15, 2024Updated 2 years ago
- dowa means どわーw (冷笑) / 冷笑を検知しますw☆17Sep 4, 2026Updated last month
- Original Joy☆15Dec 17, 2024Updated last year
- Reo is a domain specific language for the specification of interaction protocols that define (a)synchronous communication amongst compone…☆15Oct 13, 2020Updated 6 years ago
- Toy objects for Pry☆16Mar 4, 2014Updated 12 years ago
- Headless, type-safe & powerful utilities to build apps with ODD SDK and Passkeys.☆13Jul 5, 2023Updated 3 years ago
- Lightweight IPFS-network peer embeddable library☆10Sep 20, 2023Updated 3 years ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆30Apr 11, 2022Updated 4 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.
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Fast and compile-time safe abbreviation expansion for zsh. written in Rust.☆14Mar 23, 2026Updated 7 months ago
- ☆11Mar 22, 2024Updated 2 years ago
- ☆49Aug 2, 2026Updated 2 months ago
- ☆14Jul 29, 2024Updated 2 years ago
- Github action to publish your project with fission☆11Aug 17, 2023Updated 3 years ago
- ☆12Dec 1, 2014Updated 11 years ago
- Single-launch batch-1 decode engine for PrismML Bonsai 27B (ternary and 1-bit) on NVIDIA GPUs. 1.76x the vendor llama.cpp fork on H100, s…☆18Jul 16, 2026Updated 3 months ago
- Compile natural-language function descriptions into reusable local PAW programs.☆18Updated this week
- 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.
- Zero Memory Widget☆10Dec 30, 2020Updated 5 years ago
- Zennの記事・本☆14Jun 11, 2026Updated 4 months ago
- An implementation of interaction nets as a forth-like language.☆46Nov 16, 2025Updated 11 months ago
- Verylup: the Veryl toolchain installer☆13Oct 16, 2026Updated last week
- Ruby interface to the Leap Motion Controller (via WebSocket)☆17May 16, 2013Updated 13 years ago
- An x86 disassembler written in Java (port of udis86)☆13Dec 10, 2014Updated 11 years ago
- JavaScript XAES-256-GCM implementation using Web Cryptography API☆14Jul 9, 2026Updated 3 months ago