Skip to content
View kevinvandervlist's full-sized avatar
😎
⛰ ❄️ ☀️ ⛄️ ⛷ 🏂 🍺
😎
⛰ ❄️ ☀️ ⛄️ ⛷ 🏂 🍺

Highlights

  • Pro

Organizations

@cwi-swat

Block or report kevinvandervlist

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results

Repository for the book "Crafting Interpreters"

HTML 10,418 1,223 Updated Aug 7, 2024

Jupyter notebooks for analysis of Eurozone GDP, yields on government bonds, inflation expectations, unemployment and participation rates, money supply, personal consumption and savings, stock marke…

Jupyter Notebook 3 Updated Jan 7, 2026

The most intuitive desktop API client. Organize and execute REST, GraphQL, WebSockets, Server Sent Events, and gRPC 🦬

TypeScript 17,366 671 Updated Jan 10, 2026

Full Text Search Engine - built for Hackers not Hyperscalers

Go 518 11 Updated Oct 14, 2025

🙌 OpenHands: AI-Driven Development

Python 66,423 8,231 Updated Jan 10, 2026

Open-source alternative to Claude Agent SDK, ChatGPT Agents, and Manus.

TypeScript 578 56 Updated Oct 10, 2025

A workbench for writing toy implementations of distributed systems.

Clojure 3,461 198 Updated Nov 28, 2025

CodeQL Plugin for VSCode to help scan and view alerts in code

TypeScript 5 2 Updated Dec 29, 2025

Local first semantic and hybrid BM25 grep / search tool for use by AI and humans!

Rust 1,244 50 Updated Nov 16, 2025

Doorzoek vergaderstukken van gemeenten en provincies

Python 32 14 Updated Jan 8, 2026

This repo powers my experiment where ChatGPT manages a real-money micro-cap stock portfolio.

Python 7,230 1,547 Updated Jan 8, 2026

Neovim plugin for GitHub Copilot

Vim Script 11,201 696 Updated Jan 9, 2026

A curated list of awesome CodeQL resources.

65 9 Updated Jan 7, 2026

This repository contains CodeQL queries and libraries which support various Coding Standards.

CodeQL 182 72 Updated Jan 8, 2026

🔎 Static code analysis engine to find security issues in code.

OCaml 2,006 162 Updated Jan 10, 2026

Add AI capabilities to any readline-enabled command-line program

C 201 14 Updated Dec 16, 2024

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

C++ 1,039 230 Updated Dec 10, 2025

An automated exploratory testing tool for Android

Kotlin 5 2 Updated Jun 19, 2024

Binaries for the CodeQL CLI

929 161 Updated Jan 9, 2026

Unreal Tournament Engine Reimplementation

C++ 1,008 33 Updated Dec 19, 2025

🔮 Instill Core is a full-stack AI infrastructure tool for data, model and pipeline orchestration, designed to streamline every aspect of building versatile AI-first applications

Python 2,307 125 Updated Jan 8, 2026

CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

CodeQL 9,117 1,880 Updated Jan 9, 2026

Get up and running with OpenAI gpt-oss, DeepSeek-R1, Gemma 3 and other models.

Go 159,100 14,117 Updated Jan 10, 2026

Display and control your Android device

C 133,830 12,501 Updated Jan 9, 2026

A modern Prolog implementation written mostly in Rust.

Rust 2,348 158 Updated Jan 9, 2026

Grilleye max gui

Twig 7 1 Updated Feb 28, 2025

A comprehensive list of software composition analysis tools.

159 29 Updated Oct 18, 2025

Synthetic data generation for tabular data

Python 3,378 411 Updated Jan 9, 2026

A curated list of articles that cover the software engineering best practices for building machine learning applications.

1,332 125 Updated Mar 26, 2024

Flight rules for git

42,482 3,200 Updated Oct 27, 2025
Next