Pinned Repositories
black
Kenichi Asai's reflective programming language Black
d202demo
datascript
Immutable database and Datalog query engine for Clojure, ClojureScript and JS
frap
Formal Reasoning About Programs
functional-programming-jargon
Jargon from the functional programming world in simple terms!
hephaestus
A framework for testing compilers' type checkers
hoare-tut
A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]
learn-tt
A collection of resources for learning type theory and type theory adjacent fields.
martin-lof
papers of Per Martin Löf
pm
package managers visualization
unshorn's Repositories
unshorn/d202demo
unshorn/datascript
Immutable database and Datalog query engine for Clojure, ClojureScript and JS
unshorn/functional-programming-jargon
Jargon from the functional programming world in simple terms!
unshorn/hephaestus
A framework for testing compilers' type checkers
unshorn/hoare-tut
A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]
unshorn/learn-tt
A collection of resources for learning type theory and type theory adjacent fields.
unshorn/awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
unshorn/compiler-potpourri
Tools for a compilers course
unshorn/criticality_score
Gives criticality score for an open source project
unshorn/cs-video-courses
List of Computer Science courses with video lectures.
unshorn/datasciencecoursera
unshorn/datasharing
The Leek group guide to data sharing
unshorn/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
unshorn/Fuzzing101
A GitHub Security Lab initiative https://securitylab.github.com/
unshorn/inc
an incremental approach to compiler construction
unshorn/IncA
Incremental Program Analysis Framework
unshorn/jest-webextension-mock
A module to mock WebExtensions in Jest
unshorn/LLMs-from-scratch
Implementing a ChatGPT-like LLM in PyTorch from scratch, step by step
unshorn/ml4se
A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering
unshorn/mold
mold: A Modern Linker
unshorn/notes
unshorn/patterns-and-machine-learning-foundations-for-java-developers-5950002
This repo is for linkedin learning course: Patterns and Machine Learning Foundations for Java Developers
unshorn/pdfbox
Mirror of Apache PDFBox
unshorn/pl-class-public
Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages
unshorn/pml-book
"Probabilistic Machine Learning" - a book series by Kevin Murphy
unshorn/ProgrammingAssignment2
Repository for Programming Assignment 2 for R Programming on Coursera
unshorn/Scalpel
Scalpel: A Python Program Analysis Framework
unshorn/unit
Next Generation Visual Programming Platform
unshorn/unshorn.github.io
unshorn/yamf
YAMF -- Yet Another Marking Framework. Based on JUnit5, checks based on acceptance tests and static analysis, integrated manual testing, produces reports in plain text, MSWord, highly extensible.