Lean 4 programming language and theorem prover

Vera: a programming language designed for LLMs to write

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

Inference code for Llama models

Hazel, a live functional programming environment with typed holes

Simple wrapper for Oniguruma.

Trivial bindings to match Oniguruma regular expression from JVM

A very simple stack based language interpreter in Rust

This will output a list of syntax options similar to 'oniguruma/doc/SYNTAX.md'.

👹 Convert patterns from Oniguruma (the regex flavor used by Ruby, TextMate grammars, etc.) to native JavaScript RegExp

the SSH library

Zig Regex Wrapper for Oniguruma

AN USI Compliant Tsumeshogi Engine

A type safe and backend independent plotting library for Python.

Koka language compiler and interpreter

To report an issue or request an update, go to: https://issues.getsol.us

V bindings for Oniguruma, a modern, fast and flexible regular expressions library.

The Toy Programming Language. Mirrored nightly from https://gitea.krgamestudios.com/krgamestudios/Toy

HTML5 + JavaScript で動作する麻雀アプリ「電脳麻将」

Run Gren on NodeJS

Gren's core package

Compiler for the Gren programming language

The Moby Project - a collaborative project for the container ecosystem to assemble container-based systems

A list of compilers that can generate C code

Simple Oniguruma regular expression test GUI

Compiler for the C3 language

Plan 9 from User Space

ninja-compatible build tool written in C