Skip to content
View fromtheeast710's full-sized avatar

Block or report fromtheeast710

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
@ReVanced
ReVanced ReVanced
Continuing the legacy of Vanced

United States of America

@bevyengine
Bevy Engine bevyengine
A modular game engine built in Rust, with a focus on developer productivity and performance
@openresty
OpenResty openresty
A Fast and Scalable Web Platform by Extending NGINX with LuaJIT. Commercial support is provided at https://openresty.com/

San Francisco Bay Area

@AeroRust
AeroRust ( ÄR ) AeroRust
Community building the Rust 🦀 programming language ecosystem for Aerospace 🚀 applications. Join Discord ➡ http://discord.gg/6wFvsFWfnu

Extraterrestrial

@LechevSpace
Lechev.space LechevSpace
An open space for developing technologies and improving life on Earth.

Bulgaria

@RiceShelley
Rice RiceShelley
FPGA / Digital Design Enthusiast

@zeroasiccorp Cambridge, MA

@taigaio
Taiga.io taigaio
Your Agile, Free and Open Source Project Management Tool
@f4pga
F4PGA f4pga
Open source FPGA toolchain
@synflow
Synflow synflow
Synflow is dedicated to building the next generation of EDA tools.

Sophia Antipolis, France

@quartiq
QUARTIQ quartiq

Berlin, Germany

@mongodb
mongodb mongodb

United States of America

@ncfavier
Naïm Camille Favier ncfavier
aka ncf. PhD student working on cubical type theory.

Chalmers University of Technology Sweden

@samtoth
Sam Toth samtoth
Undergraduate at University of Nottingham
@FrozenWinters
Astra Kolomatskaia FrozenWinters
Studies mathematics.

Wesleyan University

@Reference-LAPACK
Lapack Reference-LAPACK
LAPACK Linear Algebra PACKage
@nickel-lang
Nickel Lang nickel-lang
The Nickel configuration language
@idris-community
Idris 2 Community (Unofficial) idris-community
Non-core projects for the Idris 2 programming language. Feel free to add projects you want collaboration for.
@typst-community
Typst Community typst-community
A community-driven organization for sustaining software related to the Typst ecosystem.
@stable-haskell
Stable Haskell stable-haskell
Stability related topics around haskell
@async-rs
async-rs async-rs
Asynchronous Rust programming, the familiar way

distributed

@linebender
Linebender linebender
Friendly group of people who share an interest in 2D graphics and user interface design.
@MFEK
Modular Font Editor K MFEK
A distribution of font editing tools and Rust libraries.
@openzim
openZIM openzim
Home of the ZIM file format & tools

Lausanne, Switzerland

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@Rust-GPU
Rust GPU Rust-GPU
Fast GPU computing for the Rust language
@plt-amy
Amélia plt-amy
Homotopy type theorist ✨

Brazil

@emilyriehl
Emily Riehl emilyriehl

Johns Hopkins University Baltimore, MD

@the1lab
The 1Lab the1lab
An experiment in discoverable formalisation.
@fp-syd
fp-syd fp-syd
Functional Programming Sydney

Sydney, Australia

@RedPRL
RedPRL RedPRL
Uphold Cubical Thought!
@tweag
Tweag by Modus Create tweag
Improving the craft of software engineering
@AbleCorp
AbleCorp

United States of America

@openXC7
openXC7 openXC7
Free and open source FPGA toolchain for AMD/Xilinx Series 7 chips, including Kintex-7. Supports Kintex7 (including 325/420/480t), Artix7, Spartan7 and Zynq7.
@UniMath
Univalent Mathematics UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.
@ourresearch
OpenAlex ourresearch
Building a universal library of scholarship—organized, connected, and open.
@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@rexim
Alexey Kutepov rexim
Recreational Programming

@tsoding Novosibirsk