Skip to content
View Sintrastes's full-sized avatar
27 followers · 42 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: StarstruckAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: StarstruckAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Organizations

@yafrl

Block or report Sintrastes

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
@paf31
Phil Freeman paf31
Original developer of the PureScript compiler, author of http://leanpub.com/purescript, Haskeller, PLT enthusiast.

Los Angeles, CA

@SodiumFRP
SodiumFRP
@yafrl
Yafrl yafrl
A library for Functional Reactive Programming in Kotlin, suited for GUI development, interactive animations, and more!

United States of America

@esp-rs
esp-rs esp-rs
Libraries, crates and examples for using Rust on Espressif SoC's
@ploeh
Mark Seemann ploeh
Helps programmers make code easier to maintain.

Copenhagen, Denmark

@boozallen
Booz Allen Hamilton boozallen
The official GitHub organization of Booz Allen Hamilton

McLean, VA

@AshleyYakeley
Ashley Yakeley AshleyYakeley

Seattle, WA

@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@Malachi-Holden
Malachi Malachi-Holden
@jules-hedges
jules-hedges
@mikeizbicki
Mike Izbicki mikeizbicki

Claremont McKenna College Claremont, CA

@brendanzab
Brendan Zabarauskas brendanzab
I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. 👨‍🎨👨‍💻👨‍🔬

@yeslogic Melbourne, Australia

@dmort27
David R. Mortensen dmort27
I am an assistant research professor and computational linguist at Carnegie Mellon University.

Carnegie Mellon University Pittsburgh, PA, USA

@frostburn
Lumi Pakkanen frostburn
Full-stack developer interested in xenharmonic music, sound synthesis and computer graphics among other things.
@m-yac
Matthew Yacavone m-yac

Galois, Inc.

@ampledata
Greg Albrecht W2GMD ampledata
Public Safety Hacker & EMT

Sensors & Signals LLC San Francisco, CA USA

@ChrisPenner
Chris Penner ChrisPenner
Writing software to improve the experience of writing software. Author of Optics By Example

Unison Computing Victoria BC, CA

@music-suite
Music Suite music-suite
Music in Haskell
@cmloegcmluin
Douglas Blumeyer cmloegcmluin

United States

@iafisher
Ian Fisher iafisher
@typst
Typst typst
The new foundation for documents: Limitless power to write, create, and automate anything that you can fit on a page.

Berlin

@lexi-lambda
Alexis King lexi-lambda

Chicago, IL

@surroundaustralia
SURROUND Australia Pty Ltd surroundaustralia
SURROUND is a knowledge company. We use semantic data and AI in particular to solve tough information problems.

Australia

@jmanuel1
Jason Manuel jmanuel1
Software developer; ASU CS, Barrett, and GCSP graduate. I like web development and programming languages.

Imagine Learning United States

@davesmith00000
Dave Smith davesmith00000
Scala.js and WebGL enthusiast

London

@SeanArchibald
Sevish SeanArchibald
@raulraja
Raúl Raja Martínez raulraja
Interested in AI, LLMs, Functional Programming & Formal verification at @predictable-machines

@predictable-machines Multiverse

@nomisRev
Simon Vergauwen nomisRev
Developer Advocate @JetBrains. Backend, Server-Side, FP, Ktor, Streaming in @Kotlin. @arrow_kt maintainer.

JetBrains Belgium

@kioba
kioba kioba
Functional programming enthusiast

London, United Kingdom

@toddk
toddk
@AvlWx2014
Ryan Smith AvlWx2014

Red Hat, Inc.

@hasselg
Greg Hasseler hasselg

Lincoln, NE

@ibdknox
Chris Granger ibdknox
@atfohner1
atfohner1
@leftaroundabout
Justus Sagemüller leftaroundabout

KTH Royal Institute of Technology Stockholm

@plogan91920
Patrick Logan plogan91920
@Chinchillord
Michael Rack Chinchillord
@dorchard
Dominic Orchard dorchard
Co-director of Institute of Computing for Climate Science, University of Cambridge and Senior Lecturer at the School of Computing, University of Kent

Canterbury, UK

@heades
Harley D. Eades III heades
Associate Professor of CS at Augusta University.

Augusta University United States

@konn
Hiromi Ishii konn
Dependent Haskeller / Linear Haskell Advocate, Ph.D. in Math. Writing some Rust for living for a while.

Jij, Inc. @Jij-inc Tokyo

@rfielding
Robert Fielding rfielding

I work for Decipher Tech Studios Springfield, VA

@kennethreitz
Kenneth Reitz kennethreitz
I wrote Requests: HTTP for Humans and Pipenv. The only thing I really care about is user experience.

Virginia, USA, Earth, Milky Way.