ezno
enso
ezno | enso | |
---|---|---|
8 | 83 | |
2,199 | 7,297 | |
- | 0.2% | |
8.3 | 9.9 | |
20 days ago | 3 days ago | |
Rust | Scala | |
MIT License | Apache License 2.0 |
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
enso
- Show HN: Flyde – an open-source visual programming language
-
Ask HN: What are your thoughts on no-code tools like Microsoft's Power Automate?
> At least I have yet to see one that is actually useful in the sense of a generic (or even a single-purpose-built) language
Yeah as said, https://github.com/enso-org/enso seems to be a general purpose functional programming language with visual editor, but otherwise I haven't really seen any no-code solutions worth their salt. I'm not particularly a fan of enso either, but it's the best I've seen.
- Platform for mixing Python, Java, JavaScript and much more
-
Visual Node Graph with ImGui
Although it's not quite the same, I do like what Enso[0] is bringing to the table, especially the 1:1 visual node/language interop. Whether this is generalisable to a fully decoupled interface remains to be seen, but there's definitely potential.
[0]: https://enso.org/
-
Show HN: Ezno, a TypeScript checker written in Rust, is now open source
I think Enso is already taken by a YC company [0]. Could get confusing.
[0] https://enso.org
-
Official /r/rust "Who's Hiring" thread for job-seekers and job-offerers [Rust 1.67]
COMPANY: Enso Inc. TYPE: Full time LOCATION: Europe and United States of America – fully distributed company REMOTE: Only remote VISA: No VISA required DESCRIPTION: Hi, we are Enso (enso.org, Y Combinator S21)! We are looking for an amazing Cloud engineer to join our core team. We are a remote first company, working in Europe and the USA.
- Enso – a programming language with dual visual and textual representations
-
Ask HN: Has anyone fully attempted Bret Victor's vision?
Friends of mine are developing Enso (https://enso.org/), an interactive programming language with dual visual and textual representations.
Even well before Bret Victor's time, there were tools for visual programming. I have been using LabView to maintain data processing in an optical laboratory.
- Enso – Get insights you can rely on. In real time
-
Modern Data Modeling: Start with the End?
> I'm convinced this entire space should be visual.
At my last 2 jobs I spent entirely too much time debugging Matillion jobs, which are visual. I have my doubts that it’s the panacea that it appears to be.
That said, you may find Enso particularly interesting: https://github.com/enso-org/enso
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
blockly - The web-based visual programming editor.
stc - Speedy TypeScript type checker
rakudo - 🦋 Rakudo – Raku on MoarVM, JVM, and JS
rfcs - RFC process for Bytecode Alliance projects
makepad - Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl
flix - The Flix Programming Language
liquibase - Main Liquibase Source
egglog - egraphs + datalog!
Graal - GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
clingo - 🤔 A grounder and solver for logic programs.
dark - Darklang main repo, including language, backend, and infra