unshorn-forks Goto Github PK

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

lm-hackers

Hackers' Guide to Language Models

m2-7-1

Foundations of proof systems

mingpt

A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training

pal

PaL: Program-Aided Language Models

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 - 安全行业从业者自研开源扫描器合辑

se-book-festschrift-rh

Symbolic Execution: Foundations, Techniques, Applications and Future Perspectives

sf-lectures

Software Foundations

slowfuzz

stac

Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program

tba-2022

Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition