ezno
rfcs
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
ezno
- Ezno's checker (Rust based type checker and compiler) is now open source
- Ezno's checker (a Javascript type checker and compiler written in Rust) is now open source
- Ezno: A TypeScript checker written in Rust
- Show HN: Ezno, a TypeScript checker written in Rust, is now open source
-
Ask HN: What is new in Algorithms / Data Structures these days?
> I'm curious if there are any practical reasons we don't see them implemented in more languages.
I believe it's because they're not exactly easy to implement and the resulting extensive type checking might also affect compiler performance.
By the way, another great example of refinement types (in JavaScript) is this one: https://kaleidawave.github.io/posts/introducing-ezno/
- Open sourcing Ezno – JavaScript compiler and TypeScript checker written in Rust
rfcs
-
Ask HN: What is new in Algorithms / Data Structures these days?
In compilers, there's been a recent uptick in industry research and adoption into using equivalency classes and graphs (egraphs) for doing optimization passes in a way that preserves information and solves the phase ordering problem. Egg[0] was one of the big libraries that came out of it, but can only handle term rewriting without guards, and so can't express y/x*x -> y because it's unsound when x=0, or optimization passes that are across control flow points and thus some of the eclasses are only valid in some locations. The Cranelift developers adapted it into a construction they call aegraphs[1] that handles this, and are migrating Cranelift to use these passes for all optimizations, which is (hopefully) faster and achieves more optimization opportunitie; Chris Fallin is presenting about their aegraph work at PLDI this year.
0: https://egraphs-good.github.io/
1: https://github.com/cfallin/rfcs/blob/main/accepted/cranelift...
What are some alternatives?
highfleet-ship-opt - A c/c++ module and python extensions for automatic optimization of Highfleet ship modules. Try it live at https://hfopt.jodavaho.io
libclc - Cache Line Container - C11
stc - Speedy TypeScript type checker
egglog - egraphs + datalog!
flix - The Flix Programming Language
automerge - A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
yjs - Shared data types for building collaborative software
clingo - 🤔 A grounder and solver for logic programs.
peritext - A CRDT for asynchronous rich-text collaboration, where authors can work independently and then merge their changes.
terminusdb - TerminusDB is a distributed database with a collaboration model