-
CapDeColla
- Manchester, UK
- https://griels.github.io/portfolio/
Highlights
- Pro
- All languages
- ANTLR
- Alloy
- AppleScript
- Assembly
- AutoHotkey
- Batchfile
- Bikeshed
- 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
OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental req…
A modern static site generator by the Material for MkDocs team
MaterialX, the next generation of mkdocs-material
The first open-source AI-driven tool for automatically generating system-level test cases (also known as fuzzing) for web/enterprise applications. Currently targeting whitebox and blackbox testing …
RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through their REST APIs and finding security and reliability bugs in these services.
Install rust into a cache dir for rust-based builds
Provides access to the llvm tools installed through the `llvm-tools-preview` rustup component.
The open-source Observability 2.0 database. One engine for metrics, logs, and traces — replacing Prometheus, Loki & ES.
The open source AI engineering platform for agents, LLMs, and ML models. MLflow enables teams of all sizes to debug, evaluate, monitor, and optimize production-quality AI applications while control…
Write context once. Run agents anywhere. Discover the power of holonic context graphs and dramatically reduce your token usage.
An IntelliJ plugin for `rust-analyzer` LSP (PoC)
Simple, structured and collaboration-ready tracker for humans ans agents
TypeScript library to access python functions in NodeJS, type-safe and easy to use.
A full-featured, free, and open-source Mermaid diagramming plugin for all JetBrains IDEs.
Agent skill for task management in Obsidian reads and writes your TaskNotes directly as markdown files. Pairs with llm-wiki-claude-skills for an assisted knowledge + task workflow.
Claude Code skills for Obsidian | Claude Code x Obsidian Lab starts May 5
Self-organizing AI second brain for Obsidian + Claude Code. Drop any source and Claude reads, links, and files it into one connected knowledge graph of plain Markdown you own. AI note-taking, perso…
A JetBrains plugin that brings your Obsidian vault into the IDE — navigate, link, and explore notes without leaving the editor.
Validate your Markdown frontmatter data against a JSON schema — remark-lint rule plugin
Task and time-tracking management with calendar integration for Obsidian
Jetbrains Claude Code and Codex GUI Plugin