Planet OCaml @planetocamlcore
I am a feed aggregator of OCaml blogs. Visit the website to add your own blog. planet.ocaml.org In the OCaml galaxy Joined August 2010-
Tweets960
-
Followers362
-
Following0
-
Likes0
Caml INRIA: Aesthetic Integration joins the Caml Consortium:
Shayne Fletcher: Runtime length encoding data compression method: Functional programming and lists go together... bit.ly/1RzazE0
Shayne Fletcher: Church Numerals: This is just a little fun. Jason Hickey in "Introduction to Objective Caml" ... bit.ly/1HEEaHo
Shayne Fletcher: Labeled and optional arguments: I don't know why this is, but of all the features of the OCam... bit.ly/1JXSSK1
Andrej Bauer: The troublesome reflection rule (TYPES 2015 slides): Here are the slides of my TYPES 2015 talk “... bit.ly/1S7Dy33
Caml Weekly News: OCaml Weekly News, 19 May 2015: JOB: Software Developer (m/f) - Functional Programming / C++... bit.ly/1LgoYkU
Psellos: Sliding Tile OCaml iOS App: May 18, 2015 I revamped another OCaml iOS app from a few years ago t... bit.ly/1HnMMlF
Functional Jobs: OCaml backend developer at Ahrefs Research (Full-time): Who we are Ahrefs Research is a San ... bit.ly/1A2hn8w
Github OCaml jobs: Full Time: Senior C++ Engineer at Ufora in New York, NY: Company Description Join Ufora to... bit.ly/1cesobX
Functional Jobs: Full-Stack Senior Functional Web Engineer at Front Row Education (Full-time): Position Senio... bit.ly/1cjPDls
Jane Street: CPU Registers and OCaml: Even though registers are a low-level CPU concept, having some knowledge... bit.ly/1zyDxz4
Functional Jobs: Sr. Software Engineer at McGraw-Hill Education (Full-time): McGraw-Hill Education is a digita... bit.ly/1E5qQZ7
Caml Weekly News: OCaml Weekly News, 05 May 2015: js_of_ocaml with node OCaml art exhibition in Venice Albatro... bit.ly/1EdbH6Z
Psellos: Gamut Redivivus: OCaml App in iOS Simulator: April 29, 2015 I recently revitalized an OCaml app ... bit.ly/1bUB9rV
Thomas Leonard: CueKeeper: Gitting Things Done in the browser: Git repositories store data with history, suppo... bit.ly/1DGASzz
LexiFi: Generating Javascript bindings from OCaml interfaces: LexiFi is currently experimenting with the ... bit.ly/1zgckBf
Coq: Coq 8.5 beta 2 is out!: The second beta release of Coq 8.5 is available for testing. The 8.5 version brin... bit.ly/1Qk0BH4
Caml Weekly News: OCaml Weekly News, 21 Apr 2015: Suggested way to determine platform specific capabilities in... bit.ly/1Dc56u3
Functional Jobs: Mid/Senior Software Development Engineer at Lookingglass Cyber Solutions (Full-time): Looking... bit.ly/1DakxSz
Functional Jobs: Senior/Principal Software Development Engineer at Lookingglass Cyber Solutions (Full-time): A... bit.ly/1DakxCa
Tarides @tarides_
2K Followers 226 Following We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
jordwalke @jordwalke
64K Followers 729 Following Created @reactjs and @ReasonML. Formerly @facebook. Product at @replit
S (ﾂｲｰﾄはﾂ... @esumii
5K Followers 4K Following 個人の趣味です。組織の見解ではありません。専門外は素人意見です。関連明示のため、しばしば自己リプライします。ツイートはツリー全体をご確認ください。明らかにおかしなリプライは非表示にさせていただくことがあります。ログ：https://t.co/1cDSfDReEV
Yann Régis-Gianas @yurug
1K Followers 2K Following Software engineer / Father of 3 / Head of Engineering @nomadiclabs / #tezos / #smartrollups / #ocaml / #functionalprogramming
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
czrd @czrd_
282 Followers 649 Following バックエンドエンジニア: Scala/Golang/Linux/NeoVim/英語/IT系資格など、保有: TOEIC 850/AWS SAA
கரடி|ரய�... @Baburslongot
0 Followers 5K Following
yvan.Godin @nodrygo
3K Followers 3K Following retraité informaticien Souverainiste Anti UE/Euro OUI au RIC sur VK : nodrygo
The Blockchain Coder @BlockchainCod3r
26 Followers 502 Following
Dazzling Hazlitt @DazzlingHazlitt
11 Followers 119 Following
Christopher / クリ�... @atomicptr
156 Followers 1K Following Husband・software artisan・ 🇩🇪 🏴 🇯🇵・bjj/judo・🐧
neuroevolutus @neuroevolutus
21 Followers 3K Following
ALL-LeonorAlmeida @tetotaski90738
7 Followers 725 Following Não importa onde você esteja,junte-se a All,ganhe mais de 200 por dia,se estiver interessado,por favor,tome a iniciativa de conversar comigo em particular!
Ofer Rivlin @0xriv3r
85 Followers 677 Following AI and LLM, Cryptography, Cybersecurity and Math. Learning from people on X.
The People's Virus @fundcruncher
299 Followers 1K Following 🥓 There's no such thing as trans, gay, or islam - stop making sh!t up. 🥓 Liberals are fascists 🥓 Globalism is tyrannical 🥓 We are not all the same
Dillon Mulroy λ @dillon_mulroy
13K Followers 3K Following domains guy @vercel ▲ • tweets about functional programming, typescript, neovim, & formula 1 • https://t.co/6Vr6DiQmze • https://t.co/4c0WNBRDIp
ineffable alias @joorosa12185462
148 Followers 7K Following
Paul @pgriffis
184 Followers 2K Following Learning about programming and web devlopement, one mistake at a time.
Martinello Giuliano @MartinelloGiuli
327 Followers 5K Following Alleinerziehender Papa, Internationalist, Humanist, liebt Philosophie, Frauen, Ironie, Kunst & die #Schweiz
Odracir Antunes Jr. @odracir_jr
63 Followers 358 Following
koijigen @koijigen
15 Followers 293 Following Hobbyist programma🌞 総て白帯🌈 独り言多め🖋️ 開発情報アンテナ乱立📡 Become coding mate🤗 photo🙏 * prof : https://t.co/UeBtFVUlEY by cocoparisienne. * back : https://t.co/gbpOaeAmdX by RitaE.
Felipe O. Carvalho @_Felipe
4K Followers 2K Following @ApacheArrow / Databases / Compilers. SWE @dbt_labs. (past @SDFLabs, VoDa, @Spotify). Rust/C++/TLA⁺🇧🇷 → 🇸🇪 → 🌎 https://t.co/vxbdByfADI
Crypto baguette @BaguetteCrypto
28 Followers 468 Following
Nick Weinhold @ncweinhold
42 Followers 496 Following Crypto, finance, trading, Lisp and functional programming language stuff.
Alessandro Mecca @a_corello
5 Followers 322 Following
Patryk Gramatowski @rwxpatrick
16 Followers 165 Following
ill_informed @InformedIll
1 Followers 60 Following
Mansour Farghaly @mansourfarghaly
29 Followers 236 Following Privacy conscious and curious. SAP expert, project manager, developer for ABAP/Ruby/Ocaml. Asking why questions, sometimes even getting answers.
Angelo Kastroulis @carreraio
61 Followers 425 Following
Organo Inteligente @organoi
3 Followers 171 Following
supagei @supagei1
9 Followers 528 Following
Shirambere @shirambere_dev
1 Followers 18 Following Software Engineer, 4+ years in python. Doing dart for flutter mobile apps, rust for system programming, OCaml for fun! Previously PHP and Java.
Bryan Albuquerque @bryanasdev000
33 Followers 1K Following I keep things running, also love Free/Libre and Open Source Software, developer in my spare time and @nixos_org/@nixpkg contributor.
Guillaume Cadillac @guiguicadillac
72 Followers 1K Following Nom parodique en hommage à mon warrior préféré, Johnny Cadillac !
Matthew Hannigan @Emmelaich
19 Followers 431 Following Can compare apples and oranges. Content may include traces of whimsy and sardonicism.
dopamine-seeking beha... @BodyAtomic
34 Followers 269 Following code monkey • Linux enthusiast • currently on Gentoo
Harald 🌍 ⚫Ⓐ�... @Harald_Fairhair
72 Followers 352 Following Plus on sait, plus on sait qu’on ne sait rien; moins on sait et plus on croit savoir.
윈도우즈 앱 만�... @makewindowsapp
235 Followers 2K Following 윈도우즈 앱 만들기 모임 네이버 카페입니다.C#,C++,DELPHI MS-ACCESS,EXCEL,MS SQL
Mathias Köhler @KoehlerMathias
6 Followers 141 Following
. @fuzzyurl1
0 Followers 196 Following
Krishna Padmasola @placidex
90 Followers 2K Following
Tung Dao 🇻🇳 @tungd
310 Followers 414 Following
Adam Sawyer @adamsawyer
142 Followers 2K Following Personal Account. Opinions are my own. Likes != endorsements
OCaml Security @OcamlSecurity
226 Followers 929 Following News about #OCaml and Security. Not affiliated with @OCamlLang core team.Trends for United States
You might like
