Geek Repo
followers
following
stars
Company:Preferred Networks Inc.
Location:Tokyo, Japan
Home Page:http://keens.github.io
Twitter:@blackenedgold
Github PK Tool:Github PK Tool
An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.
A new markup-based typesetting system that is powerful and easy to learn.
✨ Magical shell history
Minimalist ML framework for Rust
a Hassle-Free Python Experience
A modern, cross-platform, multi-threaded, and general purpose filesystem and disk-usage utility that is aware of .gitignore and hidden file rules.
A superoptimizer for LLVM IR
Linear algebra foundation for the Rust programming language
An unofficial Copilot plugin for Emacs.
Pure Rust multi-line text handling
A programming font focused on source code legibility
Safe interop between Rust and Qt
A Mastodon-compatible, ActivityPub-speaking server in Rust
Pure Rust implementation of a minimal Generative Pretrained Transformer
Rust programs written entirely in Rust
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.
A demo implementation of a simple dependently-typed language
A cross platform Mastodon Client written in Rust
🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
Code assistant language server for Helix with support for Copilot/OpenAI/Codeium/Ollama
ryde is a single person, single file hypermedia web framework for rust
An implementation of libc written in Rust
A garbage collection library for Rust with zero unsafe code
Rank Polymorphic array library for Rust.
c'est le marché