Skip to content

@OpenLogicProject Open Logic Project

Users following OpenLogicProject

@adamai43
adamai43
@nyvsym
nyvsym
@albertonavasg
Alberto Navas albertonavasg
@LambdaFiend
Lambda Fiend LambdaFiend
Computer Science student at the University of Porto. My current areas of interest are Type Theory, Compiler Design and more. In general, PL-related stuff.

Portugal

@TheMapleseed
The Mapleseed Inc. TheMapleseed
We are making some cool things, slowly, because of short legs. We do not authorize the use of our software in the state of California or Colorado.

The Mapleseed Inc.

@chabulhwi
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.

Semmalgil Seoul, Republic of Korea (South Korea)

@marcoma295
marco marcoma295
@lebrancconvas
Poom Yimyuean lebrancconvas
Interested: Web & Game Dev, Data Science, AI, Computer Graphics, Web Automation, Functional Programming, Emulation, Multimedia, Linguistics & Language Learning.

Work from Any Workplace {"Thailand": ["Bangkok", "Surat Thani"]}

@CogniDroid
Dries Frederickx CogniDroid
Existing in a time where I try to use my incompetence.

Belgium

@Yarok14Technologies
Yarok14 Technologies Yarok14Technologies
Shaping Silicon, Powering Intelligence. This prototype phase company is founded and owned by Bibin Nandhyattu Biji.

Yarok14 Kottayam, Kerala, India

@vchiluk03
Vishnuvardhan Chilukoti vchiluk03
@practicatto
practicat practicatto
a punk just having fun :)
@gabrielwalter
Gabriel Walter Fuchsberger gabrielwalter
Languages & Literature teacher; IT student @ UDESC - BR

UDESC Brazil

@PlantCat1
PlantCat1
@iamaswinjohn
iamaswinjohn
@Harry1053
Harry Harry1053
@jaaguarboyy
jaaguarboyy
@timusong
timusong
@taylorjsmith
Taylor Smith taylorjsmith
Theoretical computer scientist. Assistant professor at St. Francis Xavier University. Director of @flarelabstfx.

St. Francis Xavier University Canada

@gienyshy
gienyshy
@iammituraj
Mitu Raj iammituraj
RTL Design Engineer, SW Developer, Technical Blogger, Philanthropist, Teacher...

Chipmunk Logic™ India

@milmana
Arsenio Milman milmana
none

Virginia, USA

@belumume
Belu belumume
.
@fxrcode
. fxrcode
OS/DB, Dist Sys, Agentic AI

The net is vast and infinite

@sandeep-tukaram
Sandeep T sandeep-tukaram
Software engineer

Bangalore

@josueestracord
Josue Estrada-Cordoba josueestracord
Environmental Science major & Mathematics minor at Georgia Gwinnett College. Interested in linguistics, mathematics, environmentalism. Born September 12, 2001.

Atlanta Metropolitan Area

@GenieDex
Dex GenieDex
hi

Spain

@mathephysicist7
Mohandeep Singh mathephysicist7
📚 Philomath 😮 Extremely curious ☮️ Empathetic & Compassionate ⚛️ Novice Mathematical Physicist
@nyngwang
nyngwang
@dileban
Dileban Karunamoorthy dileban

Melbourne, Australia

@zafakaviva
SlaughterhouseFive zafakaviva
@consciavu
consciavu consciavu
@aresbit
aresbit
@alexkowalenko
Alex Kowalenko alexkowalenko
Compilers, Interpreters, and simulators.

Sydney, Australia

@Jackluo5
Jackluo5
@ejmin91
ejmin91
Research Scientist
@lengyijun
lyj lengyijun

SJTU China Shanghai

@dkapt
Dimitrios Kapetanios dkapt

Greece

@tozammel
Tozammel Hossain tozammel

USC Information Sciences Institute

@ojas-bhagavath
Ojas Bhagavath ojas-bhagavath
Mathematics PhD Student at the University of Oklahoma.

University of Oklahoma Norman, OK, United States

@itsKayWat
itsKayWat itsKayWat
👋 I'm Chris Loetz, I make stuff. Crafting tools to help stores and teams streamline operations and enhance efficiency - TikTok: @ll_kaywat_ll - OnPoint

NexusStream Project Ai One Click Away From You =P

@ybai2000
Yi Bai ybai2000
@3willows
3willows
@mukulkant-mikemighty
mukulkant-mikemighty mukulkant-mikemighty
@brainwo
Brian Wo brainwo
Currently interested in enhancing Flutter desktop ecosystem. Doing @sukimasystem in my free time.
@nakane1chome
Phil Mulholland nakane1chome
Interested in low-level coding, hardware architecture, event-driven systems, simulation/emulation etc . See also @five-embeddev

東京都目黒区中根1丁目 Adelaide, Australia

@vongst
vongst
nasty brutish and average height
@carlos-143
Carlos J. Rodríguez carlos-143
@armandovirto
Armando Virto armandovirto
e-Learning Developer. I craft engaging cybersecurity awareness journeys that empower people and transform human risk into resilience.

Cybolt Mexico

@ghishadow
Suraj ghishadow
我也爱你

Independent