Skip to content
View nightscape's full-sized avatar
198 followers · 296 following
  • Regensburg, Germany
  • 05:36 (UTC +02:00)

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex2Achievement: Starstruckx3Achievement: Galaxy BrainAchievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex2Achievement: Starstruckx3Achievement: Galaxy BrainAchievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

  • Pro

Organizations

@RubyAndScala

Block or report nightscape

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Stars

Programming Languages

12 repositories

HigherOrderCO / Bend

A massively parallel, high-level programming language

Rust 19,342 476 Updated Jun 3, 2025

lukewilliamboswell / roc-awesome

Awesome Roc

195 18 Updated Jun 11, 2025

samuelmtimbo / unit

Next Generation Visual Programming System

TypeScript 4,898 171 Updated Apr 27, 2026

HigherOrderCO / HVM2

A massively parallel, optimal functional runtime in Rust

Cuda 11,238 436 Updated Nov 21, 2024

ziglang / zig

Moved to Codeberg

Zig 42,882 3,067 Updated Nov 27, 2025

Eliah-Lakhin / lady-deirdre

Compiler front-end foundation technology.

Rust 480 14 Updated Feb 10, 2026

darklang / dark

Darklang main repo, including language, backend, and infra

F# 2,156 113 Updated Apr 28, 2026

rcano / scalua

Scala 2 Updated Oct 18, 2021

HigherOrderCO / HVM3

HVM3

Haskell 282 27 Updated Jan 29, 2026

leanprover / lean4

Lean 4 programming language and theorem prover

Lean 7,936 828 Updated May 1, 2026

moonbitlang / moonbit-compiler

OCaml 681 48 Updated Apr 29, 2026

vekatze / neut

A functional programming language with static memory management

Haskell 1,011 16 Updated Apr 30, 2026