+
Skip to content
View vrthra's full-sized avatar

Organizations

@NixOS @uds-se @mutation-workshop @IEEEKeralaSection

Block or report vrthra

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

Learn to LibAFL with parking-game puzzles.

Rust 70 8 Updated Sep 11, 2025

I made my AI think harder by making it argue with itself repeatedly. It works stupidly well.

JavaScript 2,310 122 Updated May 2, 2025

A simple proof of concept levenshtein automaton in Python

Python 108 13 Updated Sep 22, 2015

Demo of a WAM Prolog implementation in Python

Python 78 5 Updated Apr 28, 2023

University of Sydney theme for xaringan (remark.js)

SCSS 81 45 Updated Feb 22, 2022

the LLM vulnerability scanner

Python 6,130 650 Updated Oct 8, 2025

Create and store ASCII graphics in your Obsidian

JavaScript 88 3 Updated Dec 3, 2024

F2 is a fast grammar based fuzzzer building on the advances made by F1 and fzero fuzzers.

Rust 4 2 Updated Jan 13, 2025

A repo to evaluate various LLM's chess playing abilities.

Python 82 19 Updated Apr 12, 2024

Real programming languages in 50 lines of code

Python 342 18 Updated Nov 13, 2024

A Command-Line Utility to automatically backup Google Mail, Calendar & Contacts to local files.

JavaScript 408 16 Updated Apr 1, 2025

Visualization of conference locations

Python 4 Updated Jun 12, 2024

Source repository for https://hackage.haskell.org/package/language-c

Haskell 91 46 Updated Sep 1, 2025

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

Python 258 19 Updated Oct 5, 2025

A tool for meta-fuzzing using program mutants

Python 9 1 Updated Apr 7, 2025
Kaitai Struct 1 1 Updated Apr 9, 2024

This is a reference implementation of GLL and its variants written by Adrian Johnstone and tested by Elizabeth Scott; we are the authors of the GLL algorithm. As of 29 May 2024, this repo is frozen…

Java 9 Updated May 29, 2024

Supercompiler implementation

Haskell 1 Updated Dec 25, 2019

Tools for working with grammars in C

C 1 2 Updated Feb 6, 2024

Implement a ChatGPT-like LLM in PyTorch from scratch, step by step

Jupyter Notebook 75,001 10,972 Updated Oct 9, 2025

Ultralightweight JSON parser in ANSI C

C 12,046 3,363 Updated Sep 9, 2025

Port of Pyggy to Python 3

Python 9 2 Updated Dec 4, 2012

A Lisp interpreter written in Awk.

Awk 257 16 Updated May 6, 2014

A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-class continuations and a Read Eval Print Loop (REPL). The R4RS…

Scheme 538 61 Updated Aug 6, 2025

Python-like programming language interpreter written in Python

Python 106 16 Updated Jun 30, 2017

Hackers' Guide to Language Models

Jupyter Notebook 1,857 314 Updated Dec 13, 2024

🔍 🐍 Like pstack but for Python!

C++ 1,126 52 Updated Sep 23, 2025

A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering

722 92 Updated Jul 9, 2024

OpenAssistant is a chat-based assistant that understands tasks, can interact with third-party systems, and retrieve information dynamically to do so.

Python 37,476 3,298 Updated Aug 17, 2024
Next
点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载