Lakshya A Agrawal (LakshyAAAgrawal)

LakshyAAAgrawal

Geek Repo

Company:@MicrosoftResearch

Home Page:https://lakshyaaagrawal.github.io

Twitter:@LakshyAAAgrawal

Github PK Tool:Github PK Tool

Lakshya A Agrawal's starred repositories

llama.cpp

LLM inference in C/C++

photoprism

AI-Powered Photos App for the Decentralized Web 🌈💎✨

Language:GoLicense:NOASSERTIONStargazers:33762Issues:337Issues:2147

RWKV-LM

RWKV is an RNN with transformer-level LLM performance. It can be directly trained like a GPT (parallelizable). So it's combining the best of RNN and transformer - great performance, fast inference, saves VRAM, fast training, "infinite" ctx_len, and free sentence embedding.

Language:PythonLicense:Apache-2.0Stargazers:12024Issues:135Issues:197

grist-core

Grist is the evolution of spreadsheets.

Language:TypeScriptLicense:Apache-2.0Stargazers:6641Issues:49Issues:593

rnote

Sketch and take handwritten notes.

Language:RustLicense:GPL-3.0Stargazers:6508Issues:44Issues:673

mumble

Mumble is an open-source, low-latency, high quality voice chat software.

Language:C++License:NOASSERTIONStargazers:6148Issues:171Issues:2813

debugging-stories

A collection of debugging stories. PRs welcome (sorry for the backlog) :-)

Finance

150+ quantitative finance Python programs to help you gather, manipulate, and analyze stock market data

Language:PythonLicense:MITStargazers:1813Issues:54Issues:12

deep_learning_curriculum

Language model alignment-focused deep learning curriculum

berry

:strawberry: A healthy, byte-sized window manager

xlang-paper-reading

Paper collection on building and evaluating language model agents via executable language grounding

photostructure-for-servers

PhotoStructure for Servers

Language:ShellLicense:NOASSERTIONStargazers:263Issues:14Issues:6

PyMusicLooper

A python program for repeating music endlessly and creating seamless music loops, with play/export/tagging support.

Language:PythonLicense:MITStargazers:228Issues:5Issues:26

maxima-jupyter

A Maxima kernel for Jupyter, based on CL-Jupyter (Common Lisp kernel)

Language:Common LispLicense:NOASSERTIONStargazers:184Issues:20Issues:73

monitors4codegen

Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multispy` is a lsp client library in Python intended to be used to build applications around language servers.

Language:PythonLicense:MITStargazers:176Issues:7Issues:6

prism

An RTMP stream recaster / splitter

Language:GoLicense:MITStargazers:165Issues:9Issues:7

Beast

A build system built for speed and power

Language:C++License:Apache-2.0Stargazers:113Issues:3Issues:1

scheme2d

The future of programming.

License:Artistic-2.0Stargazers:69Issues:3Issues:0

git-test

Run automated tests against a range of Git commits and keep track of the results

Language:ShellLicense:GPL-2.0Stargazers:62Issues:10Issues:7

arxiv-frontpage

My personal frontpage app

papipp

c++ wrapper around libpapi

Language:C++License:MITStargazers:48Issues:1Issues:0

chip8emu

A Terminal Based Chip-8 Emulator

Language:C++License:Apache-2.0Stargazers:38Issues:3Issues:27

ric-script

A modern scripting language; implemented in old school C, yacc & flex

Language:CLicense:GPL-3.0Stargazers:31Issues:4Issues:1

yacfe

Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on C source code.

Language:OCamlLicense:NOASSERTIONStargazers:24Issues:4Issues:4

java-typestate-checker

JaTyC: a typestate checker for Java

Language:KotlinLicense:MITStargazers:14Issues:3Issues:0

loop-invariant-gen-experiments

Loop invariant generation with LLMs

Language:PythonLicense:MITStargazers:10Issues:3Issues:2

streamblocks-graalvm

CAL Interpreter powered by GraalVM

Language:JavaLicense:UPL-1.0Stargazers:9Issues:3Issues:57

StreamBench

Dataflow Benchmark Applications

freud

Freud – A toolset for working with the Brainfuck programming language

Language:C++License:MITStargazers:1Issues:0Issues:0