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