Large language model and dataset for natural language to first-order logic translation

List of ngrok, Cloudflare Tunnel, Tailscale, and ZeroTier alternatives and other tunneling software and services. Focus on self-hosting.

Angle programming language - Typescript implementation and bindings

Text-to-3D & Image-to-3D & Mesh Exportation with NeRF + Diffusion.

An easy 1-click way to create beautiful artwork on your PC using AI, with no tech knowledge. Provides a browser UI for generating images from text prompts and images. Just enter your text prompt, a…

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Straightforward unification in Python that's extensible via generic functions.

ECMAScript Optional Static Typing Proposal http://sirisian.github.io/ecmascript-types/

Grammar Induction using a Template Tree Approach

Experimental Ruby to Python 3 translator

Little Python to C++ compiler

Bragful core: PHP Interpreter in pure Erlang

PHP-Elixir tries to port some PHP function in Elixir language

Elixir-style pattern matching and control flow structures for native JavaScript data types and Immutable.js collections

An online Zig compiler inspired by Go and Rust

Cross-platform tool to Reformat/Remove Dead Code/Optimise/Analyse GLSL shader code.

My public programs and models - mostly combinatorial problems and puzzles

Constraint Logic Programming over Integers

PRolog Equation Solving System

Client-side messaging channel for sending data from one browser tab to another

A modern Prolog implementation written mostly in Rust.

Multi-backend GPU query engine written with Futhark

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics

An advanced static type checker

💥💻💥 A data-parallel functional programming language

Automagically inline python methods

Programmable, human-readable inlining of Python code

Compile ruby functions to C

Fusion programming language. Transpiling to C, C++, C#, D, Java, JavaScript, Python, Swift, TypeScript and OpenCL C.