OpenVoiceOS
OpenVoiceOS
A community-driven, open-source voice AI platform for creating custom voice-controlled interfaces across devices with a focus on privacy and security.
Netherlands
Espruino JavaScript
espruino
Espruino is a JavaScript interpreter for microcontrollers. It can fit into devices with as little as 128kB Flash and 8kB RAM.
Fernando Borretti
eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.
Sydney, Australia
cooklang
Cooklang is a lightweight, human-readable language for writing and structuring recipes, designed to make cooking data portable, programmable, and future-proof.
Veronika Romashkina
vrom911
Haskell Developer. Check out @kowainik to see more projects I'm working on.
I also do @bindthegap
@kowainik London
Lionel Parreaux
LPTK
Assistant Professor at HKUST (Hong Kong University of Science and Technology), CSE department
HKUST
Samuel Vivien
samsa1
PL PhD student currently working on adding modular implicits to the OCaml compiler
INRIA Paris - France
CMSC 430
cmsc430
Design and Implementation of Programming Languages
University of Maryland, College Park
Sora Morimoto
smorimoto
@ocaml @tc39 Tokyo, Japan
Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
https://ahrefs.com/ washington DC
Imandra
imandra-ai
We create groundbreaking tools that analyse algorithms, helping make them safe, fair, and transparent.
London, Austin, Edinburgh
TJ DeVries
tjdevries
Software developer.
I like using Neovim (core team) and stream here: https://www.twitch.tv/teej_dv
PreviousNext