Shawn's starred repositories

lm-hackers

Hackers' Guide to Language Models

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:1719Issues:0Issues:0

chatgpt-auto-continue

⏩ Automatically continue generating multiple ChatGPT responses

Language:JavaScriptLicense:NOASSERTIONStargazers:100Issues:0Issues:0

storm

An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.

Language:PythonLicense:MITStargazers:4494Issues:0Issues:0

PyRes

Pedagogical first-order prover in Python

Language:PythonLicense:GPL-2.0Stargazers:67Issues:0Issues:0

graph-tool

graph-tool - Efficient network analysis

Language:C++License:GPL-3.0Stargazers:87Issues:0Issues:0

first-order-miniKanren

miniKanren with a first-order representation of the search space

Language:RacketLicense:MITStargazers:17Issues:0Issues:0

memory-efficient-attention-pytorch

Implementation of a memory efficient multi-head attention as proposed in the paper, "Self-attention Does Not Need O(n²) Memory"

Language:PythonLicense:MITStargazers:342Issues:0Issues:0

flash-attention

Fast and memory-efficient exact attention

Language:PythonLicense:BSD-3-ClauseStargazers:11368Issues:0Issues:0

PowerSession

Record a Session in PowerShell

Language:C#License:MITStargazers:154Issues:0Issues:0

littleosbook

Source for the little book about OS development

Language:CSSStargazers:2174Issues:0Issues:0

dsyme-presentations

Don Syme presentations and notes

Language:F#Stargazers:231Issues:0Issues:0

maven-archeologist

A simple API for programmatically handling maven artifacts and metadata

Language:KotlinLicense:Apache-2.0Stargazers:78Issues:0Issues:0
Language:PythonStargazers:1Issues:0Issues:0

scala-works

A place to get started in the Scala ecosystem

Language:JavaScriptLicense:Apache-2.0Stargazers:16Issues:0Issues:0

nn-zero-to-hero

Neural Networks: Zero to Hero

Language:Jupyter NotebookLicense:MITStargazers:10630Issues:0Issues:0

tuning_playbook

A playbook for systematically maximizing the performance of deep learning models.

License:NOASSERTIONStargazers:25423Issues:0Issues:0

FSE-2011-Parfait

A static bug-checking tool for C/C++ applications.

Stargazers:1Issues:0Issues:0

react

Cheatsheets for experienced React developers getting started with TypeScript

Language:JavaScriptLicense:MITStargazers:44224Issues:0Issues:0

differential-datalog

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.

Language:JavaLicense:MITStargazers:1342Issues:0Issues:0

pal

PaL: Program-Aided Language Models (ICML 2023)

Language:PythonLicense:Apache-2.0Stargazers:440Issues:0Issues:0

tainted_love

Dynamic Security Analysis for Ruby

Language:RubyLicense:MITStargazers:36Issues:0Issues:0

3-lisp

3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith

Language:Common LispStargazers:72Issues:0Issues:0

www

CMSC 430 Design and Implementation of Programming Languages

Language:RacketStargazers:43Issues:0Issues:0

kdd-22-epi-tutorial

Materials for the KDD 2022 tutorial on Data-centric Epidemic Forecasting

License:MITStargazers:1Issues:0Issues:0

dsl-syllabus-fall-2016

The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.

Stargazers:212Issues:0Issues:0

rfc

My slides and compilation of resources.

Language:HaskellStargazers:142Issues:0Issues:0

tutorials

CatBoost tutorials repository

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:978Issues:0Issues:0

evotorch

Advanced evolutionary computation library built directly on top of PyTorch, created at NNAISENSE.

Language:PythonLicense:Apache-2.0Stargazers:977Issues:0Issues:0

CodeGen

CodeGen is a family of open-source model for program synthesis. Trained on TPU-v4. Competitive with OpenAI Codex.

Language:PythonLicense:Apache-2.0Stargazers:4802Issues:0Issues:0

fauxpilot

FauxPilot - an open-source alternative to GitHub Copilot server

Language:PythonLicense:MITStargazers:14335Issues:0Issues:0