8000 spacedome (Julien) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View spacedome's full-sized avatar
☀️
☀️

Block or report spacedome

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
Showing results

A fast, memory-safe web server written in Rust.

Rust 1,130 33 Updated Apr 30, 2025

Source code spell checker

Rust 3,112 127 Updated Apr 28, 2025

A scrollable-tiling Wayland compositor.

Rust 6,968 238 Updated Apr 30, 2025

A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.

Cuda 174 9 Updated Feb 1, 2025

A modern Anki custom scheduling based on Free Spaced Repetition Scheduler algorithm

Jupyter Notebook 3,194 146 Updated Apr 23, 2025

FSRS for Rust, including Optimizer and Scheduler

Rust 231 24 Updated Apr 29, 2025

Limbo is a project to build the modern evolution of SQLite.

Rust 10,288 381 Updated Apr 29, 2025
JavaScript 55 2 Updated Mar 5, 2025

Code challenges to solve with Haskell

Haskell 142 31 Updated Apr 22, 2025

Gotico-Antiqua, Proto-Roman, Hybrid. 15th century types between gothic and roman. In parallel to historical research, Rafael Ribas & Alexis Faudot, researchers at ANRT, produced fifteen fonts and o…

215 9 Updated Apr 23, 2021

Scientific computing in Lean 4

Lean 391 32 Updated Apr 8, 2025

Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot.

Haskell 150 11 Updated Sep 8, 2024

Simulates attack/defend scenarios in BGP

Python 35 11 Updated Apr 2, 2025

William Blake and the Mysticisms of Sense and Non-Sense

TeX 14 Updated Apr 28, 2025

Fast parsing from bytestrings

Haskell 157 13 Updated Apr 12, 2025

💥💻💥 A data-parallel functional programming language

Haskell 2,502 174 Updated Apr 30, 2025

Emacs major mode for editing Futhark programs

Emacs Lisp 11 1 Updated Mar 11, 2025

Modern embedded framework, using Rust and async.

Rust 6,710 1,008 Updated Apr 30, 2025

VictoriaMetrics: fast, cost-effective monitoring solution and time series database

Go 13,909 1,354 Updated Apr 30, 2025

Rudimentary Roam replica with Org-mode

Emacs Lisp 5,669 484 Updated Mar 24, 2025

🍁 Generate infrastructure and network diagrams directly from your NixOS configurations

Nix 694 32 Updated Apr 8, 2025

Pandoc filter to render math equations using KaTeX

Rust 35 4 Updated May 27, 2023

Flake template for Haskell repository

Nix 34 2 Updated Oct 1, 2024

The Cull monorepository.

Rust 82 5 Updated Apr 30, 2025

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

Rust 39,795 1,082 Updated Apr 30, 2025

Stellarium is a free GPL software which renders realistic skies in real time with OpenGL. It is available for Linux/Unix, Windows and macOS. With Stellarium, you really see what you can see with yo…

C++ 8,592 894 Updated Apr 30, 2025
Next
0