Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  health  apple  psychology  video  psypost.org  youtube.com  techcrunch.com  web  linux  show  theguardian.com  neuroscience  release  environment  javascript  trump  security 

whippet: A work-in-progress garbage collector for Guile

29 days ago github.com plt

Principled Ad-Hoc Polymorphism [2018]

34 days ago typesanitizer.com plt

Damas-Hindley-Milner inference two ways

33 days ago bernsteinbear.com compiler plt

Z.200 : CHILL - The ITU-T Programming Language

40 days ago itu.int plt

Can logic programming be liberated from predicates and backtracking? [pdf]

36 days ago informatik.uni-kiel.de pdf plt

Safer with Google: Advancing Memory Safety

32 days ago security.googleblog.com google plt security

How to make your papers run: Executable formal semantics for your language (2019)

46 days ago tweag.io plt

Programming language semantics: It’s easy as 1,2,3

29 days ago people.cs.nott.ac.uk pdf plt

The Structure of a Programming Language Revolution (2012)

24 days ago dreamsongs.com historical pdf plt

A Typed Foundation for Directional Logic Programming

24 days ago cs.bham.ac.uk ai pdf plt

Type Tailoring

24 days ago users.cs.utah.edu lisp pdf plt

The Tragedy of the Common Lisp: Why Large Languages Explode (2015)

34 days ago scribe.rip lisp plt

First class Prompt Engineering with llm lang! (This is a bad idea.)

18 days ago youtu.be ai lisp llm plt video

Implementing Regular Expressions in TypeScript Types (Badly)

32 days ago skalt.github.io javascript plt typescript

Verified Programming in Dafny

28 days ago doc.ic.ac.uk formalmethods pdf plt

Trouble with Typed Racket? Try Contract Profile

20 days ago youtu.be lisp plt racket video

bytecode interpreters for tiny computers

46 days ago dercuano.github.io bytecode plt

Simply Logical: Intelligent Reasoning by Example

34 days ago book.simply-logical.space ai book plt

Update on String Templates (JEP 459)

40 days ago mail.openjdk.org java plt

Jank development update – Moving to LLVM IR

34 days ago jank-lang.org clojure c++ llvm plt

Abstract Machines of Systems Biology

33 days ago worrydream.com biology pdf plt

A Mathematical Model of Package Management Systems

31 days ago arxiv.org math pdf plt

Welcome to transputer.net (2007)

30 days ago transputer.net .net hardware plt retrocomputing

There is no such thing as a global method in Ruby

27 days ago zverok.space plt ruby

The Dune Shell

2 months ago adam-mcdaniel.github.io plt rust

Notes on the Crystal Language

50 days ago wiki.alopex.li plt

Brackets are awesome, don’t use them

49 days ago sebastiansylvan.com plt

Type-erased generic functions for C: A modest non-proposal

49 days ago duriansoftware.com c plt

macro-forth: Forth implemented in compile-time rust macros

2 months ago github.com plt rust

Control structures

50 days ago xavierleroy.org math plt

More →