Skip to content
View griels's full-sized avatar

Highlights

  • Pro

Block or report griels

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

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…

Rust 38 2 Updated Jun 13, 2026

A modern static site generator by the Material for MkDocs team

Rust 5,001 113 Updated Jun 21, 2026

MaterialX, the next generation of mkdocs-material

Python 129 7 Updated Jun 19, 2026
Python 239 6 Updated Apr 7, 2026

Rust crates to work with the Conda ecosystem.

Rust 440 198 Updated Jun 19, 2026

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 …

Kotlin 750 114 Updated Jun 21, 2026

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.

Python 2,917 329 Updated Jun 10, 2026

Install rust into a cache dir for rust-based builds

Python 9 5 Updated May 18, 2026

Provides access to the llvm tools installed through the `llvm-tools-preview` rustup component.

Rust 9 Updated Mar 23, 2019

Kani Rust Verifier

Rust 3,138 147 Updated Jun 15, 2026

Verify PBT with Kani.

Rust 3 Updated Jun 23, 2023

The open-source Observability 2.0 database. One engine for metrics, logs, and traces — replacing Prometheus, Loki & ES.

Rust 6,363 498 Updated Jun 19, 2026

Unofficial rustup distribution for PyPI

Python 5 1 Updated Mar 17, 2026

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…

Python 26,650 5,878 Updated Jun 19, 2026

OCaml - Oxidized!

OCaml 781 156 Updated Jun 21, 2026

Write context once. Run agents anywhere. Discover the power of holonic context graphs and dramatically reduce your token usage.

Python 2,198 254 Updated Jun 19, 2026

An IntelliJ plugin for `rust-analyzer` LSP (PoC)

Java 4 1 Updated Jun 19, 2026

Simple, structured and collaboration-ready tracker for humans ans agents

Rust 6 1 Updated May 17, 2026

TypeScript library to access python functions in NodeJS, type-safe and easy to use.

TypeScript 83 10 Updated Jun 3, 2025

A full-featured, free, and open-source Mermaid diagramming plugin for all JetBrains IDEs.

Kotlin 5 1 Updated Jan 27, 2026
Rust 7 1 Updated Mar 3, 2026

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.

10 Updated May 28, 2026

Claude Code skills for Obsidian | Claude Code x Obsidian Lab starts May 5

Python 507 88 Updated Apr 5, 2026

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…

Python 7,234 843 Updated May 28, 2026

A JetBrains plugin that brings your Obsidian vault into the IDE — navigate, link, and explore notes without leaving the editor.

Kotlin 3 Updated Apr 14, 2026

Validate your Markdown frontmatter data against a JSON schema — remark-lint rule plugin

TypeScript 77 8 Updated Sep 21, 2024

Typed Markdown Collections Specification

HTML 79 4 Updated May 25, 2026
TypeScript 40 5 Updated Jun 5, 2026

Task and time-tracking management with calendar integration for Obsidian

TypeScript 1,897 182 Updated Jun 9, 2026

Jetbrains Claude Code and Codex GUI Plugin

TypeScript 4,072 514 Updated Jun 21, 2026
Next