-
Eloquentix
- Bucharest, Romania
-
12:40
(UTC +03:00) - http:https://igstan.ro
Block or Report
Block or report igstan
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
Javidx9
OneLoneCoder
I'm a programmer. I'm keen on getting the word out that programming is fun, silly and educational. I don't do much web stuff, I like clock cycles.
http:https://www.youtube.com/javidx9
Jakub Kozłowski
kubukoz
Scala developer who likes functional programming and other nice things.
Sometimes I run; sometimes I speak at conferences.
SiriusXM (contractor) Wrocław
Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust.
Imandra (@imandra-ai) washington DC
Matt Keeter
mkeeter
Weird CAD and graphics research; embedded software and systems engineering.
@oxidecomputer Cambridge, MA
Jack Rusher
jackrusher
Former kernel hacker and Bell Labs/AT&T Researcher, currently making art and technology in Berlin.
Applied Science Studio Berlin
CYBERTEC PostgreSQL International GmbH
cybertec-postgresql
Professional PostgreSQL services since the year 2000
Austria
Chris Fallin
cfallin
Software engineer with a focus on compilers. Currently hacking on WebAssembly-related technologies at Fastly.
Fastly Sunnyvale, CA, USA
Guillaume Claret
clarus
Working at Formal Land to formally verify mainstream programs using the proof system Coq.
Formal Land Paris
Luc Tielen
luc-tielen
Interested in functional programming, compilers and logic.
Mainly working on Eclair, a high performance Datalog that compiles to LLVM.
Lambda Tech Belgium
Xavier Leroy
xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming
Collège de France and Inria Paris, France
Aleksa Gordić
gordicaleksa
Flirting with LLMs. Tensor Core maximalist. If I say stupid stuff it's not me it's my prompt.
ex-DeepMind, ex-Microsoft Belgrade, Serbia -> London -> SF? :)
Peter Lawrey
peter-lawrey
CEO of Chronicle Software, 13K answers for Java and JVM on StackOverflow.com, "Vanilla Java" blog with 4M+ views, Java Champion
Chronicle Software London
Justin Le
mstksg
jle / mstksg / Lê Anh Khoa: Computational physicist & Haskeller, PhD
@Anduril Orange, CA
iciamyplant
Student at 42 Paris and Master Information Systems, Network Industry, Internet Economy, Dauphine University
Salar Rahmanian
softinio
Software Engineer Based in the San Francisco Bay Area.
For more of my projects look at https://code.softinio.com
San Francisco Bay Area
Xavier Van de Woestyne
xvw
I am primarily interested in functional languages (and Types systems) and web developement.
@funkywork, @tarides Nantes
PreviousNext