Skip to content
View jongleb's full-sized avatar
19 followers · 96 following

Achievements

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

Achievements

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

Block or report jongleb

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
@orhun
Orhun Parmaksız orhun
Terminal Chef at @ratatui | Maintainer at @archlinux btw

@ratatui | @archlinux Ankara, Turkey

@sequents
sequents
Proof & type theory studies
@clayrat
Alex Gryzlov clayrat
Logic, languages and systems

IMDEA Software Madrid

@contificate
Colin James contificate
Interested in compilers for strict functional languages.

Glasgow, Scotland

@torvalds
Linus Torvalds torvalds

Linux Foundation Portland, OR

@rapha
Raphael Speyer rapha

Google Sydney, Australia

@s-kybound
Kyriel Abad s-kybound
Final year NUS Computer Science Student. Avid learner, great experimenter, okay programmer.

@nus Singapore

@koonwen
Koon Wen Lee koonwen
🐫 🖥️

Singapore

@espruino
Espruino JavaScript espruino
Espruino is a JavaScript interpreter for microcontrollers. It can fit into devices with as little as 128kB Flash and 8kB RAM.
@simonjbeaumont
Si Beaumont simonjbeaumont

@apple Cambridge, UK

@eudoxia0
Fernando Borretti eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.

Sydney, Australia

@art-w
art-w
@cooklang
cooklang
Cooklang is a lightweight, human-readable language for writing and structuring recipes, designed to make cooking data portable, programmable, and future-proof.
@modular-implicits
modular-implicits
@kowainik
Kowainik kowainik
Anyone can change the world. We do. 🌌

London, UK

@nikivazou
Niki Vazou nikivazou
Research Assistant Professor and Haskeller

IMDEA Madrid

@vrom911
Veronika Romashkina vrom911
Haskell Developer. Check out @kowainik to see more projects I'm working on. I also do @bindthegap

@kowainik London

@LPTK
Lionel Parreaux LPTK
Assistant Professor at HKUST (Hong Kong University of Science and Technology), CSE department

HKUST

@samsa1
Samuel Vivien samsa1
PL PhD student currently working on adding modular implicits to the OCaml compiler

INRIA Paris - France

@cmsc430
CMSC 430 cmsc430
Design and Implementation of Programming Languages

University of Maryland, College Park

@gabriel-fallen
Alexander Chichigin gabriel-fallen
ML/Software Engineer. Commit juggler.

Kontur Tbilisi, Georgia

@tekknolagi
Max Bernstein tekknolagi
Biking around...

@Shopify Boston, MA

@mb64
Mark Barbone mb64
@smorimoto
Sora Morimoto smorimoto
Occasional OCaml Programmer @ocaml @tarides @ocsigen @mirage @Solo5 @tc39

@ocaml @tc39 Tokyo, Japan

@ivg
Ivan Gotovchits ivg

ForAllSecure, Inc Pittsburgh, PA

@bmeurer
Benedikt Meurer bmeurer
@ChromeDevTools Tech Lead Previously @v8 and @nodejs.

@Google Munich

@richhickey
Rich Hickey richhickey

NY

@janet-lang
Janet Language janet-lang
Developers for the Janet Language
@zazedd
Leonardo Santos zazedd
Master's in Computer Science @ FCUP

Faculty of Science - University of Porto Portugal

@fpottier
François Pottier fpottier

Inria Paris, France

@tweag
Tweag by Modus Create tweag
Improving the craft of software engineering
@rexim
Alexey Kutepov rexim
Recreational Programming

@tsoding Novosibirsk

@JordanMartinez
JordanMartinez
Former PureScript core team member

USA

@c-cube
Simon Cruanes c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.

Imandra (@imandra-ai) washington DC

@imandra-ai
Imandra imandra-ai
We create groundbreaking tools that analyse algorithms, helping make them safe, fair, and transparent.

London, Austin, Edinburgh

@jackfirth
Jacqueline Firth jackfirth

@google Sunnyvale, CA

@sekunho
sekun sekunho
i like learning, and making stuff with computers (dp iromarimorito on twt)

Earth

@tjdevries
TJ DeVries tjdevries
Software developer. I like using Neovim (core team) and stream here: https://www.twitch.tv/teej_dv
@rauanmayemir
Rauan Mayemir rauanmayemir

Almaty, Kazakhstan

@anmonteiro
Antonio Nuno Monteiro anmonteiro

@recallai SF Bay Area, CA

@lpil
Louis Pilfold lpil
Creator of the Gleam programming language.

London, UK

@ocaml
OCaml ocaml
The OCaml functional programming language and system
@dvanhorn
David Van Horn dvanhorn

@plum-umd Washington, DC

@racket
Racket racket
@LexiFi
LexiFi LexiFi

France

@hannesm
Hannes Mehnert hannesm

@robur-coop

@rgrinberg
Rudi Grinberg rgrinberg

Toronto

@amirmc
Amir Chaudhry amirmc

@leantechnologies Cambridge, UK

@dsheets
David Sheets dsheets
drinks from sources.

Cambridge, UK

@mattam82
Matthieu Sozeau mattam82

Inria Nantes