Domain-specific language to specify behaviour of microcontroller managed hardware
β31Apr 29, 2026Updated last week
Alternatives and similar repositories for lizard
Users that are interested in lizard are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Experimental libliftoff-based Wayland compositorβ16Jul 28, 2020Updated 5 years ago
- The pytest plugin for your copier templates πβ22Mar 30, 2026Updated last month
- IITM Paradigms of Programming -- Monsoon 2025β18Nov 17, 2025Updated 5 months ago
- Fast subset and superset queries based on tries.β11Jun 21, 2023Updated 2 years ago
- A Nix DSL that compiles to Luaβ28Jul 21, 2025Updated 9 months 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.
- A strongly-typed, compiled dialect of Python.β13Jan 28, 2024Updated 2 years ago
- Protocol for transparent collections of files.β12Aug 13, 2025Updated 8 months ago
- an arcane Lisp dialect written in Go for fun and prosperityβ12Jan 7, 2026Updated 3 months ago
- A list of articles outside of the official MLIR docs that I've found useful for learning MLIRβ11Aug 16, 2023Updated 2 years ago
- Systems programming language with Python-like syntax and C-level performance. Compiles to native x86-64 machine code without external depβ¦β23Apr 25, 2026Updated last week
- Run commands concurrently with rust and cargoβ10Jan 20, 2023Updated 3 years ago
- A programming language with first-class modules and algebraic effects.β14Dec 3, 2022Updated 3 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.siβ¦β15May 22, 2024Updated last year
- Easily switch toggle to light and dark theme for your Docsify, customizable and works in any CSS themes.β11Jul 13, 2025Updated 9 months 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.
- FFmpeg DSL for creative codingβ63Mar 27, 2026Updated last month
- β13Apr 13, 2026Updated 3 weeks ago
- Charter, TSC, and other governance documents.β16Mar 13, 2024Updated 2 years ago
- Yet another CHIP-8 emulatorβ14Jul 27, 2024Updated last year
- This project contains the SAME MOBILE APP implemented with DIFFERENT tech stacks: React Native, Flutter, Android, iOS.β11Dec 21, 2025Updated 4 months ago
- Resources for conference program chairs, especially in systems/PL areas of computer science.β12May 14, 2023Updated 2 years ago
- Demo for dependent types + runtime code generationβ72Feb 18, 2025Updated last year
- an optimizing compiler to a binary turing machineβ12Dec 16, 2024Updated last year
- β12Feb 17, 2026Updated 2 months 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.
- β10Oct 22, 2024Updated last year
- An optimizing brainf*ck compiler with multiple target backends: JVM, smali, dex, C, LLVM IR, ARM, WASM, JavaScript and Lox.β12Sep 27, 2023Updated 2 years ago
- C Compiler written in Kotlinβ13Apr 19, 2024Updated 2 years ago
- β14Mar 23, 2025Updated last year
- Build responsive react layouts using styled schematics without an overhead of any theme configurationβ12Nov 18, 2021Updated 4 years ago
- A database change feed for processing workβ11Feb 5, 2021Updated 5 years ago
- An interpreted array programming languageβ16Jan 23, 2026Updated 3 months ago
- a human-readable data formatβ17Jun 28, 2025Updated 10 months ago
- Rust tools for working with CSV files: scrubcsv, catcsv, fixed2csv, geochunk, hashcsv.β19Jan 17, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Common Lisp SPARQL query generation libraryβ12Aug 3, 2019Updated 6 years ago
- jupyter / jupyterlite kernel for Haskell powered by WebAssemblyβ65Apr 15, 2026Updated 3 weeks ago
- Find lines across files by regex and edit them all at once with your $EDITORβ71Apr 17, 2026Updated 2 weeks ago
- DIY EMG VR Controller for Oculus Quest 2: low-cost, user-friendly electromyography-based control system with Arduino, MyoWare sensors, anβ¦β14Mar 30, 2023Updated 3 years ago
- A NES emulator in Wa. εΉθ―θ¨ NES 樑ζε¨β11Jun 15, 2025Updated 10 months ago
- COLT for ActionScriptβ12Nov 17, 2015Updated 10 years ago
- Pandoc filter that adapts quotation marks.β14Mar 13, 2025Updated last year