D3S Programming Languages and Systems Group
- 3 followers
- Czech Republic
- https://d3s.mff.cuni.cz/plas
- petricek@d3s.mff.cuni.cz
Popular repositories Loading
-
choose-your-own-adventure
choose-your-own-adventure PublicA work-in-progress paper draft "The Choose-your-own-adventure calculus". Based on a blog post linked below.
TeX 2
-
red-pandas
red-pandas PublicWork in progress project, exploring ideas around type systems for data-centric programs such as Python scripts using the pandas library.
Jupyter Notebook 1
-
challenge-problems
challenge-problems Public"Schema Evolution in Interactive Programming Systems" paper, to appear in <Programming> 2025
TeX
-
metablocks
metablocks PublicExploring the idea of notational freedom in the context of Block-based langauges. What if you could define a block-based language using a block-based language?
JavaScript
-
Repositories
- red-pandas Public
Work in progress project, exploring ideas around type systems for data-centric programs such as Python scripts using the pandas library.
d3sprog/red-pandas’s past year of commit activity - abm-sheets Public
d3sprog/abm-sheets’s past year of commit activity - choose-your-own-adventure Public
A work-in-progress paper draft "The Choose-your-own-adventure calculus". Based on a blog post linked below.
d3sprog/choose-your-own-adventure’s past year of commit activity - challenge-problems Public
"Schema Evolution in Interactive Programming Systems" paper, to appear in <Programming> 2025
d3sprog/challenge-problems’s past year of commit activity - metablocks Public
Exploring the idea of notational freedom in the context of Block-based langauges. What if you could define a block-based language using a block-based language?
d3sprog/metablocks’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…