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,356 1,218 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 2 Updated Dec 20, 2025

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

TypeScript 17,133 649 Updated Dec 22, 2025

Full Text Search Engine - built for Hackers not Hyperscalers

Go 515 11 Updated Oct 14, 2025

🙌 OpenHands: AI-Driven Development

Python 65,834 8,099 Updated Dec 22, 2025

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

TypeScript 535 53 Updated Oct 10, 2025

A workbench for writing toy implementations of distributed systems.

Clojure 3,441 198 Updated Nov 28, 2025

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

TypeScript 5 2 Updated Dec 22, 2025

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

Rust 1,086 39 Updated Nov 16, 2025

Doorzoek vergaderstukken van gemeenten en provincies

Python 32 14 Updated Dec 6, 2025

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

Python 6,825 1,491 Updated Dec 21, 2025

Neovim plugin for GitHub Copilot

Vim Script 11,140 687 Updated Nov 20, 2025

A curated list of awesome CodeQL resources.

58 7 Updated Dec 19, 2025

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

CodeQL 180 72 Updated Dec 22, 2025

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

OCaml 1,971 158 Updated Dec 22, 2025

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

C 199 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,033 227 Updated Dec 10, 2025

An automated exploratory testing tool for Android

Kotlin 5 2 Updated Jun 19, 2024

Binaries for the CodeQL CLI

920 157 Updated Dec 11, 2025

Unreal Tournament Engine Reimplementation

C++ 1,001 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,303 124 Updated Dec 22, 2025

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

CodeQL 9,058 1,870 Updated Dec 19, 2025

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

Go 158,061 13,984 Updated Dec 21, 2025

Display and control your Android device

C 132,894 12,412 Updated Dec 22, 2025

A modern Prolog implementation written mostly in Rust.

Rust 2,339 159 Updated Dec 17, 2025

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,362 409 Updated Dec 22, 2025

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

1,329 125 Updated Mar 26, 2024

Flight rules for git

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