tao
bril
Our great sponsors
tao | bril | |
---|---|---|
6 | 3 | |
1,408 | 458 | |
4.9% | - | |
8.5 | 9.0 | |
6 days ago | 13 days ago | |
Rust | Rust | |
Apache License 2.0 | MIT License |
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.
tao
-
Druid, a Rust-native UI toolkit, released v0.8 after two years of work by 80 contributors.
That sounds quite similar to Tauri’s Tao, so a brief comparison could come in handy.
- Multiple applications with libappindicator fails since Bullseye
- electron app load faster in development then in production
-
Making the popup show faster
Now the string Alt+Enter pressed! should be logged into the console every time I press Alt+Enter. But it doesn't work and I didn't know why ... until I found this open issue on the tao repository: https://github.com/tauri-apps/tao/issues/307
-
Released my first crate - an extensible parsing engine for mathematical expressions - thoughts welcome
This crate is the backend for another project of mine, which is currently Windows only - it will be Linux compatible as well pending the closure of this issue on an upstream project. Should work on OSX as well in theory, but I have no way to test that at this time
-
Wikit Desktop - A dictionary application using tauri GUI framework
Big fan of .mdx resources and GoldenDict. Unfortunately Wikit Desktop does not run on Wayland natively due to https://github.com/tauri-apps/tao/issues/248. Can Wikit disable global shortcuts to work it around?
bril
-
Bril: A Compiler Intermediate Representation for Learning
Seems to be part of this course, and an implementation is here.
-
Easy intermediate codes that have an interpreter
Cornell has Bril IR which they use for their compilers course. It comes with a bunch of tools, including an interpreter.
What are some alternatives?
tauri - Build smaller, faster, and more secure desktop applications with a web frontend.
sml-compiler - A compiler for Standard ML, somewhat
tray-item-rs - Multi-platform Tray Indicator
unseemly - Macros have types!
fst - Represent large sets and maps compactly with finite state transducers.
koto - A simple, expressive, embeddable programming language, made with Rust
lavendeux-parser - Extensible inline parser engine, the backend parsing engine for Lavendeux.
tao - A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.
wikit - Wikit - A universal lookup tool
progge.rs - Program analysis playground for a simple, imperative language
pom - PEG parser combinators using operator overloading without macros.
gleam - ⭐️ A friendly language for building type-safe, scalable systems!