unshorn-forks's repositories
perf-book
The book "Performance Analysis and Tuning on Modern CPU"
golfclub
Binary Golf Examples and Resources
PyRes
Pedagogical first-order prover in Python
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.
LeanDojoChatGPT
ChatGPT plugin for theorem proving in Lean
cpplinks
A categorized list of C++ resources.
lm-hackers
Hackers' Guide to Language Models
kodkod
Kodkod solver for relational logic
Essentials-of-Compilation
A book about compiling Racket and Python to x86-64 assembly
awesome-dotnet
A collection of awesome .NET libraries, tools, frameworks and software
criticality_score
Gives criticality score for an open source project
tuning_playbook
A playbook for systematically maximizing the performance of deep learning models.
datasharing
The Leek group guide to data sharing
pal
PaL: Program-Aided Language Models
programming-languages-genealogical-tree
Programming languages genealogical tree
www
CMSC 430 Design and Implementation of Programming Languages
3-lisp
3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
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.
sf-lectures
Software Foundations
minGPT
A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training
fauxpilot
FauxPilot - an open-source GitHub Copilot server
HypeScript
🐬 A simplified implementation of TypeScript's type system written in TypeScript's own type system
tba-2022
Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
GPU-Puzzles
Solve puzzles. Learn CUDA.
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.
Scanners-Box
A powerful and open-source toolkit for hackers and security automation - 安全行业从业者自研开源扫描器合辑
handlebars.java
Logic-less and semantic Mustache templates with Java
B2T2
The Brown Benchmark for Table Types (B2T2)
pl-class-public
Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages
TIP
Static program analysis for TIP