Skip to content
View jaens's full-sized avatar

Sponsoring

@jamii
@WebFreak001

Block or report jaens

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

Starred repositories

Showing results

Research project: directed/modal type theory without the complexity.

Agda 2 Updated Jul 25, 2025

general code generator

Python 5 Updated Jul 25, 2023

MARS.EXE to MARS.COM

Assembly 23 1 Updated Mar 19, 2023

A programming language for transpiled libraries.

Rust 14 Updated Jul 8, 2025

Components of programming languages, all implemented in self-contained files

OCaml 9 1 Updated Feb 29, 2024
TypeScript 81 6 Updated Dec 14, 2025

Use Zod Schemas to create OpenAPI v3.x documentation

TypeScript 587 29 Updated Dec 8, 2025

🚀 A hand-curated list of free, open, and developer-friendly APIs

13,029 1,285 Updated Dec 15, 2025

egg is a flexible, high-performance e-graph library

Rust 1,628 181 Updated Dec 4, 2025

A fast, flexible, fused effect system for Haskell

Haskell 664 52 Updated Dec 17, 2025

Platform independent low-level JIT compiler

C 1,030 92 Updated Dec 19, 2025

A markup-based typesetting system that is powerful and easy to learn.

Rust 49,710 1,371 Updated Dec 19, 2025

A work-in-progress language and compiler for verified low-level programming

Rocq Prover 321 53 Updated Dec 15, 2025

A fast high-compression read-only file system for Linux, FreeBSD, macOS and Windows

C++ 2,455 81 Updated Nov 14, 2025

An overview of property-based testing functionality

75 3 Updated Nov 12, 2025

Spacedrive is an open source cross-platform file explorer, powered by a virtual distributed filesystem written in Rust.

Rust 36,156 1,151 Updated Dec 19, 2025
C++ 576 40 Updated Jun 24, 2025

A scalable, distributed, collaborative, document-graph database, for the realtime web

Rust 30,595 1,087 Updated Dec 19, 2025

A blend of @preact/signals-core and solid-js basic reactivity API

JavaScript 264 14 Updated Oct 15, 2025

The best C-like language that can be implemented in 10kLOC.

Assembly 662 18 Updated Dec 16, 2025

Array of Struct to Struct of Array helpers in Rust

Rust 470 30 Updated Dec 17, 2025

Ultra-compact storage for collections of enums 🌱

Rust 23 Updated Sep 12, 2022

Fast equality saturation in Haskell

Haskell 92 12 Updated Dec 17, 2025

Koka language compiler and interpreter

Koka 3,766 193 Updated Dec 5, 2025

A fast, friendly, functional language.

Rust 5,405 363 Updated Dec 19, 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

An automatic and non-domain-specific image morphing algorithm that doesn't require manual keypoints

C++ 48 4 Updated Mar 16, 2023

Filters to block and remove copycat-websites from DuckDuckGo, Google and other search engines. Specific to dev websites like StackOverflow or GitHub.

Python 2,320 48 Updated Apr 24, 2025

😵 GitHub achievements that did not make the cut.

1,539 18 Updated Aug 21, 2023
Common Lisp 725 57 Updated Jun 7, 2020
Next