A lazy subset of JavaScript
☆32Jan 27, 2026Updated 8 months ago
Alternatives and similar repositories for skoobert
Users that are interested in skoobert are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Regular reading group of the Prague programming languages and systems research network.☆17Sep 21, 2026Updated last week
- vibecoding, but correct and safe and secure and☆26Apr 22, 2026Updated 5 months ago
- Command line tool to flatten XML into a line-oriented, greppable format☆15May 6, 2026Updated 4 months ago
- C compiler in Zig☆22Jul 20, 2025Updated last year
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The perfect scripting sidekick!☆36Aug 10, 2026Updated last month
- ☆17Jun 22, 2024Updated 2 years ago
- reading and writing fiction with llms☆14Oct 6, 2024Updated last year
- Lua backend for Idris 2☆28Aug 14, 2022Updated 4 years ago
- kmx.io KC3 programming language / graph database☆25Updated this week
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated 2 years ago
- The Plaid Programming Language Tools☆14Apr 11, 2015Updated 11 years ago
- peg -> nimbleparsec☆18Jan 3, 2026Updated 8 months ago
- ☆12Jan 31, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Make your actions observable and listen events from them, algebraically.☆17Dec 4, 2024Updated last year
- Filter messages sent over Erlang distribution.☆21Jun 3, 2025Updated last year
- iOS app. Work from home? Geostreaks motivates you to go outside every day.☆12Feb 24, 2025Updated last year
- MLX.zig: Phi-4, Llama 3.2, and Whisper in Zig☆35Apr 14, 2025Updated last year
- Conditions for Haskell☆15Mar 18, 2015Updated 11 years ago
- Formal semantics of Haskell in K☆15Dec 15, 2014Updated 11 years ago
- ☆15Oct 2, 2025Updated 11 months ago
- Rust library to interact with Bluetooth devices via RFCOMM channels☆11Jun 6, 2022Updated 4 years ago
- An easy and powerful Rust HTTP Client☆12May 9, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Největší otevřená databáze českých politiků a političek. Zjistěte si, kdo vám vládne.☆20Sep 19, 2023Updated 3 years ago
- Fork of wasmtime for protoyping WASIp3 work and coordination, not intended for any production use case, purely for development☆27Aug 12, 2025Updated last year
- Ollama client in Erlang☆12Jan 29, 2025Updated last year
- 🌉 Elixir Pods enables communication with external programs using stdin and stdout☆12May 14, 2024Updated 2 years ago
- Simply Typed Lambda Calculus with de Bruijn indices☆19Mar 20, 2025Updated last year
- Official repo for Shoot First, Ask Questions Later?☆27Apr 23, 2026Updated 5 months ago
- Markup and print strings to the terminal☆12Apr 28, 2026Updated 5 months ago
- Utility functions to get field values from the abstract syntax tree generated from ZON (Zig Object Notation) text using Zig stdlib☆13Feb 5, 2025Updated last year
- Details so far on the reversing of sysex protocol used by ko2.☆12Mar 15, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Native Erlang library for KerberosV and GSS-API☆13May 27, 2026Updated 4 months ago
- Salad: a javascript chladni pattern generator☆28Jun 23, 2013Updated 13 years ago
- Elixir Authentication guide example☆13Apr 1, 2024Updated 2 years ago
- Fast and trainable tokenizer for natural languages relying on maximum entropy methods.☆22May 2, 2017Updated 9 years ago
- An Erlang/OTP library to mock registered processes☆16Jun 14, 2024Updated 2 years ago
- Edina - A simple stack-oriented compiled programming language.☆15Jun 8, 2023Updated 3 years ago
- Jacy programming language☆13Apr 26, 2022Updated 4 years ago