A lazy subset of JavaScript
☆31Jan 27, 2026Updated last month
Alternatives and similar repositories for skoobert
Users that are interested in skoobert are comparing it to the libraries listed below
Sorting:
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆14Aug 19, 2024Updated last year
- ☆16Jun 22, 2024Updated last year
- Lua backend for Idris 2☆28Aug 14, 2022Updated 3 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- A plugin for GHC to turn Haskell into a strict language☆27Aug 8, 2012Updated 13 years ago
- Erlang port mapper module that uses Consul instead of EPMD☆15Jun 26, 2020Updated 5 years ago
- Make your actions observable and listen events from them, algebraically.☆17Dec 4, 2024Updated last year
- Web Development without programming☆45Mar 1, 2023Updated 3 years ago
- peg -> nimbleparsec☆17Jan 3, 2026Updated 2 months ago
- Slides for my Haskell Symposium 2015 lighting talk☆13Sep 4, 2015Updated 10 years ago
- An easy and powerful Rust HTTP Client☆12May 9, 2023Updated 2 years ago
- A bit of DSLs, a bit of I/O☆15Oct 19, 2023Updated 2 years ago
- PMW is a music typesetting program, processing marked-up text into PostScript and PDF.☆18Jan 28, 2026Updated last month
- BinaryVice is better than term_to_binary/1 at serializing structured Erlang data.☆25Oct 12, 2009Updated 16 years ago
- Small and minimalistic LISP interpreter☆26Apr 6, 2020Updated 5 years ago
- Ollama client in Erlang☆12Jan 29, 2025Updated last year
- 🌉 Elixir Pods enables communication with external programs using stdin and stdout☆12May 14, 2024Updated last year
- Simply Typed Lambda Calculus with de Bruijn indices☆17Mar 20, 2025Updated 11 months ago
- Template to integrate phoenix.16, esbuild, svelte and tailwindcss☆11Feb 20, 2022Updated 4 years ago
- ☆19Dec 17, 2025Updated 3 months ago
- My xmonad configuration.☆32Aug 17, 2015Updated 10 years ago
- Adapting KuzuDB's Rust crate to Elixir using Rustler☆14May 16, 2025Updated 10 months ago
- Include Phosphoricons as SVG-strings in your Elixir/Phoenix project!☆19Apr 8, 2025Updated 11 months ago
- Compressed Bloom Filters (Golomb-compressed sequences, with indices)☆17May 19, 2013Updated 12 years ago
- categories from category-extras☆34Oct 9, 2019Updated 6 years ago
- Fast and trainable tokenizer for natural languages relying on maximum entropy methods.☆23May 2, 2017Updated 8 years ago
- Erlang API for FoundationDB☆19Mar 7, 2026Updated last week
- Elixir Authentication guide example☆13Apr 1, 2024Updated last year
- ☆12Oct 5, 2024Updated last year
- Native Erlang library for KerberosV and GSS-API☆12May 27, 2025Updated 9 months ago
- Aerie: a regex-like engine nested word grammars☆16Feb 5, 2022Updated 4 years ago
- ☆24Mar 12, 2026Updated last week
- A simple, generic text rendering system in Zig, based on FreeType and HarfBuzz.☆13Sep 14, 2024Updated last year
- A MessagePack library for Zig☆17Mar 11, 2026Updated last week
- FIPS-204 (ML-DSA) implementation in Go☆19Feb 13, 2026Updated last month
- Lispy interpreter for Zig☆11Sep 13, 2024Updated last year
- Haskell to Javascript compiler (via GHC)☆20Jan 27, 2020Updated 6 years ago
- Inspired by cbonsai, zbonsai is a Zig-based terminal application that procedurally generates beautiful bonsai trees in your command line …☆12Jan 19, 2026Updated 2 months ago
- Erlang TCP/IP Stack☆16Nov 17, 2019Updated 6 years ago