Skip to content
View unshorn's full-sized avatar
🏠
Working from home
🏠
Working from home

Highlights

  • Pro

Organizations

@mvprog

Block or report unshorn

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

✂️ Syntax correction in context-free and weakly context-sensitive languages.

Kotlin 22 1 Updated Apr 22, 2025

Ongoing research training transformer models at scale

Python 12,145 2,726 Updated Apr 22, 2025

Holocron is an object storage based leader election library.

Go 129 2 Updated Oct 1, 2024

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

Prolog 303 23 Updated Nov 15, 2024

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

Jupyter Notebook 45,358 6,359 Updated Apr 20, 2025

LLMs + Lean, on your laptop or in the cloud

Lean 144 20 Updated Apr 7, 2025

The book "Performance Analysis and Tuning on Modern CPU"

TeX 3,097 209 Updated Feb 20, 2025

Email security is a key part of internet communication. But what are SPF, DKIM, and DMARC, and how do they work? This guide will explain it all in simple terms to make these concepts clearer.

1,221 34 Updated Jun 21, 2024

Hackers' Guide to Language Models

Jupyter Notebook 1,834 312 Updated Dec 13, 2024

⏩ Automatically continue generating answers when ChatGPT responses get cut-off

JavaScript 160 6 Updated Apr 23, 2025

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

Python 23,911 2,108 Updated Jan 23, 2025

Pedagogical first-order prover in Python

Python 75 16 Updated Apr 15, 2025

graph-tool - Efficient network analysis

C++ 101 6 Updated Oct 5, 2023

miniKanren with a first-order representation of the search space

Racket 16 9 Updated Jul 23, 2024

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

Python 376 36 Updated Jul 18, 2023

Fast and memory-efficient exact attention

Python 17,037 1,628 Updated Apr 22, 2025

Record a Session in PowerShell

C# 152 9 Updated Mar 8, 2023

Source for the little book about OS development

CSS 2,466 262 Updated Apr 22, 2023

Don Syme presentations and notes

F# 242 26 Updated Mar 24, 2025

A simple API for programmatically handling maven artifacts and metadata

Kotlin 79 11 Updated Mar 18, 2023

A place to get started in the Scala ecosystem

JavaScript 16 Updated Apr 13, 2023

Neural Networks: Zero to Hero

Jupyter Notebook 13,624 1,889 Updated Aug 18, 2024

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

28,560 2,342 Updated Jun 18, 2024

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

1 Updated Jun 24, 2016

Cheatsheets for experienced React developers getting started with TypeScript

JavaScript 46,181 4,193 Updated Jan 11, 2025

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 w…

Java 1,403 122 Updated Jul 7, 2023

PaL: Program-Aided Language Models (ICML 2023)

Python 488 61 Updated Jun 30, 2023

Dynamic Security Analysis for Ruby

Ruby 36 8 Updated May 20, 2021

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

Common Lisp 111 9 Updated Apr 11, 2025

CMSC 430 Design and Implementation of Programming Languages

Racket 50 34 Updated Dec 16, 2024
Next
Showing results