donsbot
Software engineer working on code search tools @ Meta. Past lives in finance, defense r&d and PL research. Ex-NYC,LON,SIN. Farm boy from nowhere, Australia.
@facebookSydney, Australia
Pinned Repositories
cabal
Official upstream development repository for Cabal and cabal-install
donsbot.github.io
github pages
experiments-rust
Working through the Rust book
fbthrift
Facebook's branch of Apache Thrift, including a new C++ server.
folly
An open-source C++ library developed and used at Facebook.
Glean
System for collecting, deriving and working with facts about source code.
fbthrift
Facebook's branch of Apache Thrift, including a new C++ server.
folly
An open-source C++ library developed and used at Facebook.
Glean
System for collecting, deriving and working with facts about source code.
hsthrift
The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift project for the implementation of the underlying transport.
donsbot's Repositories
donsbot/experiments-rust
Working through the Rust book
donsbot/cabal
Official upstream development repository for Cabal and cabal-install
donsbot/donsbot.github.io
github pages
donsbot/fbthrift
Facebook's branch of Apache Thrift, including a new C++ server.
donsbot/folly
An open-source C++ library developed and used at Facebook.
donsbot/Glean
System for collecting, deriving and working with facts about source code.
donsbot/hhvm
A virtual machine for executing programs written in Hack.
donsbot/hsthrift
The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift project for the implementation of the underlying transport.
donsbot/if-proto-scip-hs
Haskell interface for SCIP
donsbot/lambdabot
A friendly IRC bot and apprentice coder, written in Haskell.
donsbot/mysql-simple
A mid-level client library for the MySQL database, intended to be fast and easy to use.
donsbot/scip
Semantic Code Intelligence Protocol
donsbot/scip-kotlin
SCIP indexer for Kotlin. Implemented as a SemanticDB compiler plugin.