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
- ☆12Oct 13, 2026Updated last month
- Formal semantics of LLVM IR in K☆53Jun 13, 2018Updated 8 years ago
- A cuelang testing package☆13Apr 10, 2022Updated 4 years ago
- The semantics of Python in K☆24Aug 20, 2013Updated 13 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.
- A synchronization aid that allows one or more threads to wait until a set of operations being performed in other threads completes☆10Jul 10, 2011Updated 15 years ago
- 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
- The semantics of Java in K☆24Sep 15, 2021Updated 5 years ago
- ☆15Updated this week
- Interval arithmetic for real computation☆27Feb 7, 2026Updated 9 months ago
- MoonBit best practices plugin for Claude Code☆14Apr 24, 2026Updated 6 months ago
- Interactive POetry Editor☆28Oct 24, 2021Updated 5 years ago
- Various sheet music in Lilypond format☆11Feb 18, 2012Updated 14 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆13Mar 25, 2012Updated 14 years ago
- K Framework Tools 7.0☆608Nov 5, 2026Updated last week
- 学務情報システム上で必要単位数を満たしているかを一発で確認するブックマークレット☆10Feb 4, 2026Updated 9 months ago
- Hardware-based tick counters for high-precision benchmarks in Rust☆28May 27, 2024Updated 2 years ago
- ☆16Apr 16, 2021Updated 5 years ago
- Crystal wrapper for Http Parser lib: https://github.com/joyent/http-parser☆17Feb 27, 2017Updated 9 years ago
- ☆12Feb 15, 2024Updated 2 years ago
- Github action to publish your project with fission☆11Aug 17, 2023Updated 3 years ago
- Toy objects for Pry☆16Mar 4, 2014Updated 12 years 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.
- 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
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- ☆11Mar 22, 2024Updated 2 years ago
- 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
- Fast and compile-time safe abbreviation expansion for zsh. written in Rust.☆14Mar 23, 2026Updated 7 months ago
- ☆12Dec 1, 2014Updated 11 years ago
- The official website of the Automerge project, with docs, references, community links, and more!☆13Updated this week
- Ruby interface to the Leap Motion Controller (via WebSocket)☆17May 16, 2013Updated 13 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- JavaScript XAES-256-GCM implementation using Web Cryptography API☆14Jul 9, 2026Updated 4 months ago
- A curated list of awesome quantum computing resources. Inspired by the various awesome-* projects☆11Feb 26, 2017Updated 9 years ago
- Verylup: the Veryl toolchain installer☆14Updated this week
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Sep 25, 2026Updated last month
- my home directory☆11Nov 6, 2026Updated last week
- Headless, type-safe & powerful utilities to build apps with ODD SDK and Passkeys.☆13Jul 5, 2023Updated 3 years ago
- A scalable anonymous blocklisting scheme☆13Oct 6, 2023Updated 3 years ago
Are these results useful?