https://github.com/c-cube/c-cube
readme repo
https://github.com/c-cube/c-cube
Last synced: 3 months ago
JSON representation
readme repo
- Host: GitHub
- URL: https://github.com/c-cube/c-cube
- Owner: c-cube
- Created: 2024-08-10T02:07:31.000Z (almost 2 years ago)
- Default Branch: main
- Last Pushed: 2025-03-02T05:38:16.000Z (about 1 year ago)
- Last Synced: 2025-06-18T01:45:38.377Z (11 months ago)
- Size: 4.88 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
Hi, I'm Simon. I live in Washington DC, and I'm a long time OCaml programmer, also interested in Odin and Rust. Besides automatic theorem proving, my academic specialty up to my PhD, postdoc, and industry job at https://imandra.ai, I've also worked on observability/tracing, HTTP server implementations, distributed systems, RPC systems, and type checkers. I have been contributing open source libraries to the OCaml ecosystem since 2012. I enjoy strongly, statically typed programming languages; binary serialization formats[^1]; well designed network protocols; content-addressing[^2]; RFCs. I've been using git daily since 2010; archlinux since 2012; and (n)vim since 2008. My beard is literally greying 🧙🏻.
Most of my information can be found at the following places:
- [personal website](https://simon.cedeela.fr)
- Mastodon account
[^1]: I like https://cbor.io/ and the general design of thrift; I also made [my own format](https://twine-data.dev/).
[^2]: not blockchain though, I'm not into rugpulls.