-
CapDeColla
- Manchester, UK
- https://griels.github.io/portfolio/
Highlights
- Pro
- All languages
- ANTLR
- Alloy
- AppleScript
- Assembly
- AutoHotkey
- Batchfile
- Bikeshed
- Boogie
- C
- C#
- C++
- CMake
- CSS
- Cirru
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Csound Document
- Cuda
- Cython
- D
- DTrace
- Dafny
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Frege
- GLSL
- Gherkin
- Go
- Groff
- Groovy
- HCL
- HTML
- Handlebars
- Haskell
- Haxe
- IDL
- Idris
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Jinja
- Julia
- Jupyter Notebook
- KCL
- Kaitai Struct
- Kotlin
- LLVM
- Lean
- Less
- Lua
- M4
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Max
- Mojo
- Mustache
- NSIS
- Nemerle
- NewLisp
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- PHP
- PLpgSQL
- Pascal
- Perl
- Pony
- PostScript
- PowerShell
- Prolog
- Puppet
- PureScript
- Python
- QML
- R
- RAML
- Racket
- Ragel
- ReScript
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Scala
- Scheme
- Shell
- Standard ML
- Starlark
- Stata
- Svelte
- Swift
- SystemVerilog
- TLA
- TSQL
- TeX
- Thrift
- TypeScript
- Typst
- V
- VBScript
- Vala
- Vim Script
- Visual Basic .NET
- Vue
- WebAssembly
- XSLT
- YAML
- Zig
- jq
- reStructuredText
Starred repositories
Turn any codebase, with its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph. A /graphify skill for Claude Code, Cursor, Codex, and Gemini CLI: local deterministic AST parsing…
A build system and monorepo management tool for the web ecosystem, written in Rust.
Server that mimics a Lunar ambient light sensor, with support for multiple lux data sources
macOS command line utility to configure multi-display resolutions and arrangements. Essentially XRandR for macOS.
The Triton backend for the PyTorch TorchScript models.
A zero-to-100 learning path for applied AI engineering — RAG, embeddings, vector search, agents, MCP, and the production engineering around them. 56 pages, built as a searchable site.
A Collections of VSCode (Codium) Extensions to Enhance Development
🦀 Small exercises to get you used to reading and writing Rust code!
Gather ressources to practice Rust language
Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays. https://docs.kidger.site/jaxtyping/
Extensions for Python Markdown
The Score Specification provides a developer-centric and platform-agnostic Workload specification to improve developer productivity and experience. It eliminates configuration inconsistencies betwe…
Code and configuration to manage Kubernetes project infrastructure, including various *.k8s.io sites
Infrastructure, containers, and serverless apps to AWS, Azure, GCP, and Kubernetes... all deployed with Pulumi
A Google Cloud Platform (GCP) Pulumi resource package, providing multi-language access to GCP
Configures opinionated GKE clusters
Creates a Cloud SQL database instance
🎣 Minimal hooks-first GraphQL client
Blueprint unit test templates for Helm charts
Automate design-first API workflows by generating schemas and types from OpenAPI specs.
Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
LocalStack for GCP. One Go binary emulating 14 Google Cloud services locally: Vertex AI, BigQuery, Spanner, Firestore, Pub/Sub, Cloud Storage, Bigtable, Cloud SQL, Memorystore, Cloud Tasks, KMS, Se…
OpenTofu MCP Server for accessing the OpenTofu Registry
A vector index built on TurboQuant, written in Rust with Python bindings