cstml's list / papers

8000 cstml's list / papers · GitHub

More Web Proxy on the site http://driver.im/

cstml Follow

Overview Repositories 52 Projects Packages Stars 281

More

cstml
Follow

🦡

Vlad L cstml

🦡

Follow

λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"

41 followers · 64 following

Sheffield, United Kingdom

https://cstml.github.io

https://ko-fi.com/cstml

Achievements
x3 x3
Achievements
x3 x3

Block or report cstml

Block user
Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Add an optional note:

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.

Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse

Overview Repositories 52 Projects Packages Stars 281

More

Stars

papers

2 repositories

papers-we-love / papers-we-love

Papers from the computer science community to read and discuss.

Shell 95,818 6,020 Updated May 4, 2025

happi / theBeamBook

A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.

Erlang 3,883 252 Updated Jul 15, 2025

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms

Privacy

Security

Status

Docs

Contact

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Vlad L cstml

Achievements

Achievements

Block or report cstml

papers

papers-we-love / papers-we-love

happi / theBeamBook