Modern low level programming language designed for kernel development
☆134Feb 21, 2026Updated last week
Alternatives and similar repositories for Perk
Users that are interested in Perk are comparing it to the libraries listed below
Sorting:
- Simple Math Proof Tool for Simple Math Expressions☆38Jul 10, 2025Updated 7 months ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- A portable and extensible Common Lisp LOOP implementation☆20Feb 26, 2026Updated last week
- Moonli is a Julia/Python-ish syntax layer that transpiles to Common Lisp☆18Feb 16, 2026Updated 2 weeks ago
- ☆14Dec 12, 2024Updated last year
- A text based teamspeak-like (no VOIP) chat application with GUI☆12Sep 16, 2020Updated 5 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 2 years ago
- A toy programming language, syntax based on C.☆11Mar 8, 2020Updated 5 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated last year
- Web based simulator of x86 Intel computer in a 16-bit real mode made for education purposes☆19Dec 7, 2022Updated 3 years ago
- Implementation of the Delta Language☆13Mar 18, 2024Updated last year
- AltSH (alternative shell script) formatter with support for ShellSpec and shpec syntax (experimental)☆15Jun 22, 2024Updated last year
- Generate the FFI (foreign function interface) from a C header.☆19Jan 21, 2025Updated last year
- A general purpose, statically typed, broadly mid-level, object-oriented systems programming language for precise control over binary data…☆23Feb 25, 2026Updated last week
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- ☆17Apr 4, 2024Updated last year
- Experiments in implementing functional data structures in Idris☆15Jul 25, 2019Updated 6 years ago
- a scripting language, design for learning☆31Oct 26, 2025Updated 4 months ago
- Credixware is a cheat designed for CSGO. It includes an external and internal CSGO multihack☆15Mar 20, 2019Updated 6 years ago
- Print licenses used by the given project and its dependencies.☆23Feb 21, 2023Updated 3 years ago
- pattern combinators extending racket/match to capture 🔗 contexts 📦☆20Jul 8, 2019Updated 6 years ago
- An x64 HobbyOS programmed in C++.☆20Feb 6, 2026Updated 3 weeks ago
- ☆21Jul 16, 2025Updated 7 months ago
- A WebAssembly Language For Full Stack Web Development☆20Updated this week
- # A simple variable binding library based on well-scoped indices and environments☆29Oct 15, 2025Updated 4 months ago
- A fast, minimal HTTP framework.☆17Jul 3, 2021Updated 4 years ago
- A more standards compliant C library written in M2-Planet's C subset☆21Feb 9, 2026Updated 3 weeks ago
- This package contains a lightweight deductive database system in OCaml☆41Dec 15, 2021Updated 4 years ago
- eweOS main package repository☆24Feb 26, 2026Updated last week
- an optimizing compiler for a lisp dialect targetting uxn☆34Jan 22, 2026Updated last month
- Infinite Swipe is simple swipe library that can use for both desktop and mobile devices.☆18Apr 7, 2022Updated 3 years ago
- Grain support for Visual Studio Code☆25Nov 21, 2024Updated last year
- Electron SSR w/ htmx, Alpine.js, Datastar, and SSE☆34Apr 19, 2025Updated 10 months ago
- Štar: an iteration construct for Common Lisp. Archived: now https://tfeb.org/computer/repos/star.git☆24Dec 13, 2025Updated 2 months ago
- Wave Programming Language☆37Feb 23, 2026Updated last week
- User-configurable login shell configured by the SHELLS environment variable.☆24Jun 7, 2025Updated 8 months ago
- ☆30Updated this week
- an scdoc compatible manpage compiler for build.zig☆31Aug 25, 2025Updated 6 months ago