unshorn-forks's repositories
lm-hackers
Hackers' Guide to Language Models
minGPT
A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training
pal
PaL: Program-Aided Language Models
perf-book
The book "Performance Analysis and Tuning on Modern CPU"
programming-languages-genealogical-tree
Programming languages genealogical tree
PyRes
Pedagogical first-order prover in Python
Scanners-Box
A powerful and open-source toolkit for hackers and security automation - 安全行业从业者自研开源扫描器合辑
3-lisp
3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
awesome-dotnet
A collection of awesome .NET libraries, tools, frameworks and software
B2T2
The Brown Benchmark for Table Types (B2T2)
BrailleR
An add-on package for R primarily aimed at improving access to R for blind users. The package contains tools and functions that will help get a student through their first year statistics course, and probably well beyond it.
cpplinks
A categorized list of C++ resources.
criticality_score
Gives criticality score for an open source project
datasharing
The Leek group guide to data sharing
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.
Essentials-of-Compilation
A book about compiling Racket and Python to x86-64 assembly
fauxpilot
FauxPilot - an open-source GitHub Copilot server
golfclub
Binary Golf Examples and Resources
GPU-Puzzles
Solve puzzles. Learn CUDA.
handlebars.java
Logic-less and semantic Mustache templates with Java
HypeScript
🐬 A simplified implementation of TypeScript's type system written in TypeScript's own type system
inference-learning-data-2022-python
This page contains Python codes for the chapters appearing in all 3 volumes of the work "Sayed, Ali. H., Inference and Learning from Data, vols. 1-3, Cambridge University Press, 2022". Matlab codes are also available. For additional information, visit the authors website.
kodkod
Kodkod solver for relational logic
LeanDojoChatGPT
ChatGPT plugin for theorem proving in Lean
sf-lectures
Software Foundations
spf-dkim-dmarc-simplified
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.
tba-2022
Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
tuning_playbook
A playbook for systematically maximizing the performance of deep learning models.
www
CMSC 430 Design and Implementation of Programming Languages