progscrape: plt

Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Notes on the Crystal Language

28 hours ago wiki.alopex.li plt

Brackets are awesome, don’t use them

20 hours ago sebastiansylvan.com plt

The Dune Shell

15 days ago adam-mcdaniel.github.io plt rust

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

3 hours ago duriansoftware.com c plt

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

23 days ago github.com plt rust

Use of Prolog for developing a new programming language (1992)

4 hours ago citeseerx.ist.psu.edu pdf plt prolog

Control structures

31 hours ago xavierleroy.org math plt

Fractran

15 days ago wiki.xxiivv.com plt

C8C: A chip8 compiler, assembler, and virtual machine

24 hours ago glouw.com assembler compiler plt

Conservative GC can be faster than precise GC

22 days ago wingolog.org performance plt

Adding algebraic data types to Nickel

23 days ago tweag.io nix plt

Will we be writing Hare in 2099?

14 days ago youtube.com osdev plt video

A commentary on 24 days of GHC extensions, part 3 (2014)

22 days ago augustss.blogspot.com haskell plt

Type Inference Needs Revolution (2015)

26 days ago youtube.com plt video

Swift Creator Chris Lattner on Mojo and Roc [video]

26 days ago youtube.com plt swift video

Hylo - The Safe Systems and Generic-programming Language Built on Value Semantics

23 days ago youtube.com plt rust swift video

Flambda2 Ep. 3: Speculative Inlining

24 days ago ocamlpro.com compiler ml performance plt

MiniLang: A type-safe C successor

14 days ago github.com c compiler compsci plt python

Null-Restricted and Nullable Types

59 days ago bugs.openjdk.org java plt

Ask: are there languages with first class table support, similar to struct or map?

43 days ago lobste.rs plt

Fear Not the Association of Types

43 days ago gavinleroy.com plt rust

Don't write Rust like it's Java

52 days ago jgayfer.com java plt rust

Heap Intervals in Solidity

39 days ago brocke.xyz plt

State and time are the same thing

33 days ago buttondown.com formalmethods plt

Division and Modulus for Computer Scientists (2003)

47 days ago microsoft.com plt

Building Type Search for Unison

46 days ago chrispenner.ca plt

Compiler front-end infrastructure

33 days ago github.com compiler plt

SQL Has Problems. We Can Fix Them: Pipe Syntax In SQL

36 days ago storage.googleapis.com database pdf plt sql

aya-dev: A proof assistant and a dependently-typed language

31 days ago github.com formalmethods plt

It's not simple to add function keyword arguments to Go

40 days ago utcc.utoronto.ca go plt