Skip to content
View nightingale-m's full-sized avatar

Block or report nightingale-m

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Starred repositories

Showing results

Software Design by Example in Roc

Roc 45 16 Updated Aug 8, 2024

LTeX Language Server: LSP language server for LanguageTool 🔍✔️ with support for LaTeX 🎓, Markdown 📝, and others

Kotlin 821 34 Updated Oct 6, 2023

The Julia Programming Language

Julia 46,295 5,532 Updated Feb 3, 2025

Agda lecture notes for the Functional Programming course at TU Delft

TeX 123 14 Updated Mar 18, 2024

Easy to use voxel world for Bevy

Rust 162 15 Updated Feb 2, 2025

C++ solution and demonstration of the Santa Claus concurrency problem

C++ 47 Updated Dec 30, 2024

A Minecraft server written in COBOL

COBOL 557 18 Updated Feb 2, 2025

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Zig 25,875 641 Updated Feb 2, 2025

Borgo is a statically typed language that compiles to Go.

Rust 4,347 60 Updated Oct 27, 2024

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

C 2,943 1,480 Updated Jan 17, 2025

Lunatic is an Erlang-inspired runtime for WebAssembly

Rust 4,669 137 Updated Mar 18, 2024

Rhai - An embedded scripting language for Rust.

Rust 4,341 188 Updated Jan 25, 2025

Dataframes powered by a multithreaded, vectorized query engine, written in Rust

Rust 31,669 2,062 Updated Feb 3, 2025

Experiments in building "better" languages and tools; for some measure of better.

Gleam 218 10 Updated Jan 23, 2025

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

C 5,773 419 Updated Feb 1, 2025

A powerful validation library for Rust

Rust 505 30 Updated Jan 19, 2025

An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.

Go 3,817 146 Updated Jan 18, 2025

Painless peer-to-peer WebRTC networking for rust wasm (and native!)

Rust 946 83 Updated Jan 16, 2025

Fast SQL formatter/linter

Rust 643 26 Updated Feb 3, 2025

Distributed Stockfish analysis for lichess.org

Rust 762 104 Updated Jan 3, 2025

Sync little subsets of your Postgres data into local apps and services.

Elixir 7,346 186 Updated Feb 2, 2025

Native, fast starting Clojure interpreter for scripting

Clojure 4,149 258 Updated Jan 28, 2025

The native Clojure dialect hosted on LLVM

C++ 2,301 76 Updated Feb 2, 2025

Clojure for the Erlang VM (unofficial)

Erlang 1,663 42 Updated Jan 7, 2025

DAP server for debugging Clojure over nREPL with CIDER's debugger

Clojure 63 2 Updated Feb 2, 2025

Luanti (formerly Minetest) is an open source voxel game-creation platform with easy modding and game creation

C++ 11,085 2,060 Updated Feb 2, 2025

Rhombus programming language

Racket 363 67 Updated Feb 2, 2025

Interactive evaluation for Neovim (Clojure, Fennel, Janet, Racket, Hy, MIT Scheme, Guile, Python and more!)

Fennel 1,847 116 Updated Feb 2, 2025

Extendable version manager with support for Ruby, Node.js, Elixir, Erlang & more

Go 22,564 798 Updated Feb 2, 2025

A Creative Coding Framework for Rust.

Rust 6,131 307 Updated Nov 16, 2024
Next