Skip to content
View Veykril's full-sized avatar

Sponsors

@cgbur
@robjtede
@Hofer-Julian
@rosscanning
@repi
@vanhouc
@Crauzer
@ThouCheese
@MythicManiac
Private Sponsor

Organizations

@rust-lang @rust-lang-nursery @knurling-rs @salsa-rs @rust-analyzer @image-rs @zed-industries @jj-vcs

Block or report Veykril

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Stars

languages

29 repositories

The core software distribution for the Inform 7 programming language.

C 1,527 85 Updated Oct 10, 2025

Counterexamples in Type Systems

JavaScript 405 25 Updated Jun 8, 2023

An audio server, programming language, and IDE for sound synthesis and algorithmic composition.

C++ 6,303 808 Updated Dec 18, 2025

Compiler for the Vale programming language - http://vale.dev/

Scala 1,941 55 Updated May 14, 2024

Functional programming for deno and javascript. Monads, semigroups, optics, parsers, state management, yadda yadda yadda.

TypeScript 112 7 Updated Nov 16, 2025

inkle's open source scripting language for writing interactive narrative.

C# 4,575 516 Updated Jan 1, 2025

Odin Programming Language

Odin 9,409 862 Updated Dec 17, 2025

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

Rust 1,152 21 Updated Mar 23, 2025

Graph-oriented live coding language and music/audio DSP library written in Rust

Rust 2,886 96 Updated Apr 6, 2025

A fast, powerful type checker designed for Ruby

Ruby 3,746 582 Updated Dec 18, 2025

TypeScript with a Borrow Checker. Multi-threaded, Tiny binaries. No GC. Easy to write.

HTML 1,455 16 Updated Sep 18, 2024

A programming language to skip the things you have already computed

JavaScript 2,018 68 Updated Sep 21, 2023

Lunatic is an Erlang-inspired runtime for WebAssembly

Rust 4,821 140 Updated Mar 29, 2025

💥💻💥 A data-parallel functional programming language

Haskell 2,638 191 Updated Dec 18, 2025

A catalog of programming languages

777 23 Updated May 19, 2025

Koka language compiler and interpreter

Koka 3,766 193 Updated Dec 5, 2025

Gravity Programming Language

C 4,449 236 Updated Apr 14, 2025

The coding environment for non-engineers

TypeScript 458 12 Updated Feb 23, 2024

historical archive of rust pre-publication development

C 701 41 Updated Nov 29, 2024

Haxe - The Cross-Platform Toolkit

Haxe 6,745 691 Updated Dec 18, 2025

The Dark Arts of Advanced and Unsafe Rust Programming

CSS 2,169 311 Updated Dec 12, 2025

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

C 5,986 425 Updated Dec 13, 2025

文言文編程語言 A programming language for the ancient Chinese.

TypeScript 20,162 1,101 Updated Oct 20, 2023

A simple, expressive, embeddable programming language

Rust 849 44 Updated Dec 12, 2025

The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.

C# 20,085 4,207 Updated Dec 18, 2025

Duo - A research language exploring duality in programming language design

Haskell 61 2 Updated May 23, 2023

an experimental basic imperative procedural language with effect handlers

Rust 7 Updated Feb 3, 2023

An embedded scheme interpreter in Rust

Rust 2,113 100 Updated Dec 18, 2025

Cycle-tracking garbage collector library for Rust

Rust 204 8 Updated Dec 17, 2025