Pinned Repositories
Aasina
This is the program I wrote in 2007 for a line-follower I built that ran on a Philips P89V51RD2 microcontroller
cf_utils
cuda101
CUDA Programming for Beginners
Data-Structures-and-Algorithms
A collection of some implementations of data structures and algorithms.
DropboxUpload
Upload files on Dropbox from your terminal
instagram-dl
Instagram image downloader using Python
ncc
Neural Code Comprehension: A Learnable Representation of Code Semantics
picoctf-writeups
Write-ups for PicoCTF tasks
SwiftTyper
Offline version of games like type racer and 10fastfingers.
z3-floating-point-proofs
Automated Proofs about floating-point numbers using Z3 Theorem Prover
xennygrimmato's Repositories
xennygrimmato/Data-Structures-and-Algorithms
A collection of some implementations of data structures and algorithms.
xennygrimmato/cf_utils
xennygrimmato/py-data-dependency-graph
Data dependency graph for Python programs
xennygrimmato/aider
aider is AI pair programming in your terminal
xennygrimmato/bdayuj
xennygrimmato/beanbox-vm
A microVM for LLMs and humans
xennygrimmato/claude-engineer
Claude Engineer is an interactive command-line interface (CLI) that leverages the power of Anthropic's Claude-3.5-Sonnet model to assist with software development tasks. This tool combines the capabilities of a large language model with practical file system operations and web search functionality.
xennygrimmato/coding-competitions-archive
Google Coding Competitions problem archive
xennygrimmato/commit0
xennygrimmato/devika
Devika is an Agentic AI Software Engineer that can understand high-level human instructions, break them down into steps, research relevant information, and write code to achieve the given objective. Devika aims to be a competitive open-source alternative to Devin by Cognition AI.
xennygrimmato/devin-swebench-results
Cognition's results and methodology on SWE-bench
xennygrimmato/django-cors-headers
Django app for handling the server headers required for Cross-Origin Resource Sharing (CORS)
xennygrimmato/fastapi
FastAPI framework, high performance, easy to learn, fast to code, ready for production
xennygrimmato/fauxpilot
FauxPilot - an open-source GitHub Copilot server
xennygrimmato/FixEval
We introduce FixEval , a dataset for competitive programming bug fixing along with a comprehensive test suite and show the necessity of execution based evaluation compared to suboptimal match based evaluation metrics like BLEU, CodeBLEU, Syntax Match, Exact Match etc.
xennygrimmato/grok
Grok open release
xennygrimmato/icml2024-roundtrip-correctness
xennygrimmato/iitjee-evals
xennygrimmato/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
xennygrimmato/maestro
A framework for Claude Opus to intelligently orchestrate subagents.
xennygrimmato/NYU_CTF_Bench
xennygrimmato/OpenDevin
xennygrimmato/parsel
Code for Parsel 🐍 - generate complex programs with language models
xennygrimmato/SWE-agent
SWE-agent: Agent Computer Interfaces Enable Software Engineering Language Models
xennygrimmato/swe_bench_traces
Contains the model patches and the eval logs from the passing swe-bench-lite run.
xennygrimmato/TransformerLens
xennygrimmato/verifiably-correct-code-translation
xennygrimmato/whisperX
WhisperX: Automatic Speech Recognition with Word-level Timestamps (& Diarization)
xennygrimmato/word_seq2word_seq
xennygrimmato/xcs234-a1