- Cambridge, UK
- @johnchildren.bsky.social
Stars
- All languages
- ATS
- Agda
- Batchfile
- C
- C#
- C++
- Clojure
- Common Lisp
- Cuda
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- Futhark
- Go
- HTML
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Makefile
- Modelica
- Nix
- OCaml
- OpenQASM
- PHP
- PureScript
- Python
- Racket
- Rust
- Scala
- Scheme
- Shell
- Starlark
- TLA
- Tcl
- TeX
- TypeScript
- Vim Script
- Vue
- WebAssembly
- Witcher Script
- Zig
A GitHub Action that implements smart caching for rust/cargo projects
LTeX+ Language Server: LSP language server for LanguageTool 🔍✔️ with support for LaTeX 🎓, Markdown 📝, and others
A simple, fast and versatile Datalog database
Fastest Robotics Runtime System. If phones have Android, robots deserve HORUS.
Rust cache structures and easy function memoization
Lightweight Durable Python Workflows
Slurm Spank plugins for Quantum resources and jobs support
Painless compression and decompression in the terminal
A GlobalProtect VPN client for Linux, written in Rust, based on OpenConnect and Tauri, supports SSO with MFA, YubiKey, and client certificate authentication, etc.
A client-side gRPC channel implementation for tonic
An extendible framework for executing benchmarks and computational experiments at scale
Jeff is a structured, extensible, and simple interchange format for quantum compilers. Designed to foster collaboration and accelerate research by providing a common language for compilers to commu…
A p2p, secure file storage, social network and application protocol
A trait object based error handling type for easy idiomatic error handling and reporting in Rust applications
AMQP client library in Rust, with a clean, futures based API
Thin and vendor agnostic layer to access, control and monitor underlying on-prem or cloud quantum computers
Quantinuum's emulator for hybrid quantum computation
Signed Zero-trust DaTa - signed CBOR for censorship-resistant data
Simple, Fast, Code first and Compile time generated OpenAPI documentation for Rust
A Rust HTTP server for Python applications






