Federico Bruzzone
FedericoBruzzone
PhD Student in Computer Science. Programming Languages and Compilers enthusiast. Also, Sound Engineer and Music Composer.
University of Milan, MI Milan, MI
Leopold Lemmermann
leo-lem
Full-stack iOS developer & DevOps engineer. Building focused tools, clean UIs, and minimal systems.
Jyväskylä, Finland
OSINTBuddy
osintbuddy
Node graphs, OSINT data mining, and plugins. Connect unstructured and public data for transformative insight
Benjamin Degenhart
benjaminaaron
Knowledge Engineer @Citizen-Knowledge-Graph. Open Source, Linked Open Data, Sustainability, Graphs
FörderFunke UG Berlin, Germany
TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
Marcin Kulik
ku1ik
Software engineer, consultant, specializing in Elixir and Rust. Creator of @asciinema.
@asciinema Poland
Jon Gjengset
jonhoo
Rust educational streamer. At @helsing-ai. Previously at AWS. A fan of making things secure, fast, scalable, and well-documented.
@helsing-ai Oslo, Norway
Pimalaya
pimalaya
Pimalaya is an ambitious project that aims to improve open-source tools related to Personal Information Management.
Nomads.
somosnomadas
acciones positivas directas en un mundo cambiante
@somosnomadas Al-Andalus. ES.
nf-core
nf-core
A community effort to collect a curated set of analysis pipelines built using Nextflow.
CodeMeta
codemeta
CodeMeta focuses on metadata and discovery systems for software citation and attribution.
Santa Barbara, CA
Michael Goulet
compiler-errors
i make the @rust-lang compiler better. types team + compiler team ⚙️🦀🧮.
nyc
Solid
solid
Re-decentralizing the web. Everything MIT licensed. All repos fall under the code of conduct: https://github.com/solid/process/blob/main/code-of-conduct.md
ASIMOV Specs
asimov-specs
Open-source specifications for the ASIMOV platform.
United States of America
HKUST-KnowComp
HKUST-KnowComp
Knowledge Computation Group@HKUST, led by Yangqiu Song
HKUST, Hong Kong
Linked data Modeling Language
linkml
LinkML is a general purpose modeling language that can be used with linked data, JSON, and other formalisms
Clerk
clerk
Clerk is a complete suite of embeddable UIs, flexible APIs, and admin dashboards to authenticate and manage your users.
L2 Iterative Venture (L2IV)
l2iterative
We support infrastructure projects in modular, multi-chain projects and inventions in zero-knowledge proof applications.
Hong Kong
ASIMOV Systems
asimov-systems
Building @ASIMOV_Protocol and @ASIMOV_Platform.
United States of America
PreviousNext