Skip to content
View coetaur0's full-sized avatar

Highlights

  • Pro

Block or report coetaur0

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

Zero allocation LINQ with Span and LINQ to SIMD, LINQ to Tree (FileSystem, Json, GameObject, etc.) for all .NET platforms and Unity.

C# 1,354 107 Updated Mar 23, 2025

AuraOS, the Franco-English Operating System developed in C# using Cosmos!

C# 253 57 Updated Nov 29, 2024

Cosmos is an operating system "construction kit". Build your own OS using managed languages such as C#, VB.NET, and more!

C# 2,999 559 Updated Jan 3, 2025

The Scala 3 compiler, also known as Dotty.

Scala 5,966 1,084 Updated Mar 20, 2025

Learning operating system development using Linux kernel and Raspberry Pi

C 13,401 1,300 Updated Mar 29, 2024

📚 Learn to write an embedded OS in Rust 🦀

Rust 14,040 820 Updated Feb 10, 2024

A secure embedded operating system for microcontrollers

Rust 5,706 728 Updated Mar 21, 2025

This is the latest version of the internal repository from Pebble Technology providing the software to run on Pebble watches. Proprietary source code has been removed from this repository and it wi…

C 4,643 308 Updated Feb 25, 2025

A lightweight and fast parsing library for C#.

C# 976 71 Updated Mar 17, 2025

The rustic MLIR bindings in Rust

Rust 390 43 Updated Mar 12, 2025

A fancy diagnostics & error reporting crate

Rust 1,888 80 Updated Mar 13, 2025

A super set of R, the legendary programming language for statistic and datasciences !

Rust 7 Updated Mar 23, 2025

Embeddable Lambda Prolog Interpreter

Prolog 304 38 Updated Mar 22, 2025

Optimizer and compiler/toolchain library for WebAssembly

WebAssembly 7,732 764 Updated Mar 22, 2025

Parts of DragonRuby GameToolkit source released under MIT license.

Ruby 227 76 Updated Mar 21, 2025

A static analyzer for Java, C, C++, and Objective-C

OCaml 15,153 2,030 Updated Mar 21, 2025

Stride (formerly Xenko), a free and open-source cross-platform C# game engine.

C# 6,839 985 Updated Mar 12, 2025

Repository hosting the open-source Nu Game Engine and related projects.

F# 1,180 163 Updated Mar 23, 2025

Develop cross-plattform GUI Applications using F# and Avalonia!

F# 1,036 76 Updated Mar 2, 2025

.NET for the NES game console

C# 650 20 Updated Jan 27, 2025

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

C# 19,371 4,101 Updated Mar 23, 2025

A Rust compiler backend targeting CIL(.NET IR) and C.

Rust 1,723 39 Updated Mar 22, 2025

Clang bindings for .NET written in C#

C# 1,050 154 Updated Feb 24, 2025

One framework for creating powerful cross-platform games.

C# 11,909 2,940 Updated Mar 20, 2025

A performant and ergonomic implementation of binary decision diagrams for .NET

C# 54 20 Updated Aug 30, 2023

Datalog that's as easy as ABC.

Java 57 10 Updated Nov 8, 2024

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

Standard ML 652 146 Updated Mar 22, 2025

CakeML: A Verified Implementation of ML

Standard ML 1,010 85 Updated Mar 23, 2025

A command-line tool and Xcode Extension for formatting Swift code

Swift 8,172 638 Updated Feb 27, 2025

New Godot bindings for Swift

Swift 1,304 86 Updated Mar 22, 2025
Next