Skip to content
View meditans's full-sized avatar
42 followers · 0 following

Organizations

@NixOS @music-suite @reflex-frp @obsidiansystems @Haskell-ITA @narrative-ai @DataHaskell @dpndnt

Block or report meditans

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
@lane-core
lane lane-core
formal verification, (homotopy) type theory, and categorical nonsense

brooklyn

@OmidZamani
OMID Zamani OmidZamani
Father, Husband, and a Tiny DevOps Guy

Freekancing Currently, Iran!

@jgarte
Jorge Gomez jgarte

Madison, WI

@marbac74
Marco Bachini marbac74
Teacher of History and Philosophy, interested in NLP and related topics

Uzzano (PT) - Italy

@hiiroo
Ali Mert Ceylan hiiroo
Ph.D.

Yaşar University

@Neustradamus
Neustradamus Neustradamus
@ofirkris
ofirkris

Tap Israel

@jantorestolsvik
Jan Tore Stølsvik jantorestolsvik
@kfirmanty
Karol Firmanty kfirmanty
@p1mps
Andrea Imparato p1mps

Berlin

@vasily-kartashov
vka vasily-kartashov

Melbourne, Australia

@EricCrosson
Eric Crosson EricCrosson
Maybe the real tests were the types we made along the way
@tomsmalley
Tom Smalley tomsmalley

@artificialio United Kingdom

@FranklinCDep
Franklin Uloneme FranklinCDep
I'm a former banker, published author, content writer and cryptocurrency enthusiast who loves God, people, kids, photography and nature. Founder to be.

Worldwide

@AngeloChecked
Angelo Ceccato AngeloChecked
Random Stuff Maker

Milan

@alaskacanyon
alaskacanyon
@Rosuavio
Rosario Pulella Rosuavio

Nassau County, NY

@cambiata
Jonas Nyström cambiata

Cambiata Örnsköldsvik, Sweden

@triska
Markus Triska triska
https://www.metalevel.at/t

Vienna

@amir
Amir M. Saeid amir

Dublin, Ireland

@vaibhavsagar
Vaibhav Sagar vaibhavsagar
software janitor. 🪩 enthusiast. @recursecenter f1'16.

gadigal land/sydney

@AleXoundOS
AleXoundOS
Haskell | NixOS

Tbilisi, Georgia

@414owen
Owen Shepherd 414owen

@dottxt-ai Ireland

@aupiff
Roy Blankman aupiff

Boustrophedon Syndicate Paris

@imalsogreg
Greg Hale imalsogreg
Creator of neuronbench.com

Seattle, USA

@VetoPlayer
Andrea Brunato VetoPlayer
No Future Awaits Those Who Refuse To Take Action.

Venegono Inferiore

@adamnemecek
adamnemecek
traceoid.ai

traceoid.ai Los Angeles, Prague

@doppioslash
Claudia Doppioslash doppioslash
Principal Graphics Programmer

Liverpool, UK

@Arguggi
Ruggero D'Alò Arguggi
@sudhirvkumar
Sudhir Kumar sudhirvkumar
I <3 Rust, Flutter, Haskell, Elixir, PureScript, Elm

@atomicits Chennai, India

@archaeron
archaeron

Winterthur, Switzerland

@TeamSPoon
Douglas R. Miles TeamSPoon

@TeamSPoon /~https://github.com/logicmoo

@silky
Noon van der Silk silky
ن

Edinburgh, UK

@yawnt
yawnt yawnt
@sphaso
Giovanni Ornaghi sphaso

Germany

@danse
frances danse
never hide

Internet

@larsen
Stefano Rodighiero larsen
lambda camel

Berlin, Germany

@Franciman
Francesco Magliocca Franciman

Valle di Maddaloni , CE

@fgaz
Francesco Gazzetta fgaz
Haskell | NixOS

Italy/Sweden

@VitalyOlegovic
Vitaly Olegovich VitalyOlegovic

Rome, Italy

@berdario
berdario
@hanshoglund
Hans Höglund hanshoglund
Composing Things

London