tpetricek / histogram
Source code for an interactive essay that explores the idea of representing programs not as source code, but as sequences of interactions with the programming environmnent.
☆20Updated last year
Related projects ⓘ
Alternatives and complementary repositories for histogram
- Helpers for incremental operations on map like data structures.☆25Updated this week
- User Interfaces for Programming Languages: The Compendium☆27Updated 3 years ago
- ☆15Updated last year
- A logic programming library for F#☆45Updated 9 years ago
- A graph based approach to type inference written in F#☆9Updated last month
- Salon des Refusés - Dialectics for new computer science☆11Updated 5 years ago
- ☆15Updated 9 years ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- 1ML prototype interpreter☆19Updated 4 years ago
- get you an ultimate lexer generator using Fable; port OCaml sedlex to FSharp, Python and more!☆15Updated 2 years ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆20Updated last week
- ☆27Updated last year
- Minimal type inference Algorithm W and Algorithm M in F#☆34Updated last year
- Session Type Provider Home Page☆11Updated 6 years ago
- language verification, construction, and analysis☆20Updated 2 years ago
- Simple Refinement types for F#. No longer maintained.☆11Updated 5 years ago
- 🦅 VSCode extension for F* with IDE features☆15Updated 4 years ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆29Updated 3 years ago
- Provides a compile-time transformation to generate web components from react components☆19Updated 3 years ago
- just another compiler experiment☆14Updated 7 years ago
- A reading list of of papers on alternatives and subjunctive interfaces☆10Updated 9 years ago
- experiments with @robkuz LimitedValue type☆70Updated 5 years ago
- ☆21Updated 4 years ago
- Port of the alga Algebraic Graphs library (https://github.com/snowleopard/alga) to F#☆28Updated 6 years ago
- Compositional Query Framework for F# Queries, based on "A Practical Theory of Language-Integrated Query"☆67Updated 5 years ago
- 🎈 A toy DSL to create presentations in F#☆17Updated last year
- Finger Trees in F#.☆8Updated 6 years ago
- Benchmark to compare async web server + interpreter + web client implementations across various languages☆46Updated last year
- Sokoban game for iOS and Android written in F# using Xamarin Fabulous framework☆20Updated 6 years ago
- Open source F# mathematical logic library.☆11Updated 2 years ago