joshmoody24 / skoobertView external linksLinks
A lazy subset of JavaScript
☆31Jan 27, 2026Updated 3 weeks ago
Alternatives and similar repositories for skoobert
Users that are interested in skoobert are comparing it to the libraries listed below
Sorting:
- A bit of DSLs, a bit of I/O☆15Oct 19, 2023Updated 2 years ago
- Lua backend for Idris 2☆28Aug 14, 2022Updated 3 years ago
- A monad for managed values☆51Nov 18, 2025Updated 3 months ago
- Web Development without programming☆45Mar 1, 2023Updated 2 years ago
- Gnome extension to quickly set pipewire's samplerate and buffer size☆16Dec 28, 2025Updated last month
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- ☆14Dec 4, 2025Updated 2 months ago
- Open-source project to build a low-cost Commercial-Off-The-Shelf on-board computer for small CubeSat missions.☆14May 17, 2021Updated 4 years ago
- Use network sockets together with the Haskell pipes library.☆25Apr 16, 2022Updated 3 years ago
- Notify Honeybadger about Haskell exceptions.☆12Jan 14, 2026Updated last month
- A simple way to make working with different binary representations painless, fast, and efficient.☆11Nov 6, 2025Updated 3 months ago
- A bot that uses elm-review to find common mistakes in packages.☆17Feb 16, 2022Updated 4 years ago
- prevent XSS attacks by sanitizing html (this is different then escaping!)☆22Oct 14, 2023Updated 2 years ago
- Terminal string color for Deno☆10Jul 29, 2022Updated 3 years ago
- this is not a working lens library☆11Nov 30, 2022Updated 3 years ago
- ☆16Jun 22, 2024Updated last year
- Another DFU for STM32F103. Download firmware without offsetting from flash base address.☆13Jul 17, 2022Updated 3 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- A helpful AI assistant for Mercury engineers☆21Jan 9, 2026Updated last month
- this is a bunch of old max/msp genexpr code for various filters, effects. oscillators and such all written around 2018☆16Sep 11, 2021Updated 4 years ago
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.☆12Sep 4, 2022Updated 3 years ago
- Upload packages or documentation to a hackage server☆11Jul 18, 2022Updated 3 years ago
- Simple network runner library in Haskell☆11Nov 19, 2025Updated 2 months ago
- minimal mass file renamer☆12Jan 26, 2022Updated 4 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated last year
- Rust implementation of Ray Tracing in One Weekend☆12Jul 17, 2020Updated 5 years ago
- ☆12Oct 23, 2023Updated 2 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- Clipboard synchronization tool☆12Jan 30, 2026Updated 2 weeks ago
- JSON logging using monad-logger interface☆12Mar 16, 2024Updated last year
- 🧪 This is not real code☆13Aug 5, 2022Updated 3 years ago
- 2020년 21대 국회의원 총선거 지도☆11Mar 19, 2020Updated 5 years ago
- An application to visualize the semantic distance between two words using the Wordnet lexical database and algorithmic path finding.☆11Jan 18, 2021Updated 5 years ago
- ☆12Dec 13, 2025Updated 2 months ago
- Use dhall as an external datasource☆11Apr 16, 2025Updated 10 months ago
- hmetafont is a DSL for creating variable fonts in haskell, inspired by metafont☆11Dec 18, 2016Updated 9 years ago
- A rhythm game to play with friends and frenemies☆12Nov 24, 2022Updated 3 years ago
- Split integers into digits, blazingly fast☆14Dec 28, 2025Updated last month