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  psychology  apple  video  youtube.com  psypost.org  techcrunch.com  linux  show  theguardian.com  neuroscience  web  release  javascript  environment  security  trump 
Loading...

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

Exploring Effect in TypeScript: Simplifying Async and Error Handling

38 hours ago tweag.io javascript typescript

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

46 days ago tweag.io plt

Adding algebraic data types to Nickel

2 months ago tweag.io nix plt

Nickel Modules

4 months ago tweag.io nix

Re-implementing the Nix protocol in Rust

6 months ago tweag.io nix rust

Extending destination-passing style programming to arbitrary data types in Linear Haskell

8 months ago tweag.io haskell plt

Bazel remote execution with rules_nixpkgs

8 months ago tweag.io nix

CLI user experience case study

10 months ago tweag.io

Source filtering with file sets

11 months ago tweag.io nix

Separating debug symbols from executables

12 months ago tweag.io debugging

Organist: stay sane managing your development environments

12 months ago tweag.io nix

Great Nickel configurations from little merges grow

12 months ago tweag.io

CLI user experience case study

13 months ago tweag.io rust

Behind the scenes with FawltyDeps v0.13.0: Matching imports with dependencies

14 months ago tweag.io python

Building a Rust workspace with Bazel

15 months ago tweag.io rust

Coverage-guided fuzzing of Haskell programs for cheap

16 months ago tweag.io haskell testing

Processing medical images at scale on the cloud

17 months ago tweag.io

Why Liquid Haskell matters

17 months ago tweag.io formalmethods haskell

Testing Control-Flow Translations in GHC

17 months ago tweag.io haskell wasm

Making GHC faster at emitting code (2022)

18 months ago tweag.io compiler haskell performance

A semester of Haskell-language-server: an internship report

18 months ago tweag.io

Python Monorepo: an Example. Part 1: Structure and Tooling

18 months ago tweag.io python

Crem: Compositional Representable Executable Machines

19 months ago tweag.io

Topiary: A code formatting engine leveraging Tree-sitter

20 months ago tweag.io release rust

Announcing FawltyDeps - a dependency checker for your Python code

20 months ago tweag.io python release

Running a NixOS VM on macOS

21 months ago tweag.io apple mac macos nix

Announcing jupyenv 0.1.0

21 months ago tweag.io nix

Linear Constraints: the problem with O(1) freeze

22 months ago tweag.io

Functional Python, Part II: Dial M for Monoid

22 months ago tweag.io python

Higher-orderness is first-order interaction

23 months ago tweag.io

More →