rune
| biscuit-go | rune | |
|---|---|---|
| 2 | 16 | |
| 67 | 1,911 | |
| - | 0.1% | |
| 3.8 | 4.8 | |
| 8 days ago | 24 days ago | |
| Go | C | |
| Apache License 2.0 | 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.
biscuit-go
-
Mangle, a programming language for deductive database programming
Other resources for logic programming and Go:
ichiban/prolog - ISO Prolog interpreter in pure Go, getting close to v1: https://github.com/ichiban/prolog
trealla-prolog/go - ISO Prolog interpreter embedded via WASM: https://github.com/trealla-prolog/go
guregu/pengine - library for interfacing with Pengines (SWI-Prolog's RPC protocol): https://github.com/guregu/pengine
biscuit-auth/biscuit-go - Biscuits are a fancy auth token with a little Datalog engine: https://github.com/biscuit-auth/biscuit-go
I'm a big fan of logic programming. We've been seeing a small resurgence of interest in it (for example Yarn using Prolog made some waves) and I have some optimism for its future.
-
Biscuit authentication/authorization tokens are released in v1.0
There are also implementations in Java and Go, and an online playground to test the policy language.
rune
- Odin Programming Language
-
Marvin Attack on RSA (Rust): potential key recovery through timing sidechannels
There are a few research languages where handling secrets and constant-time operations correctly is a first-class feature. See for example:
https://github.com/google/rune
- A high performance embedded database
- Rune
-
The Year of C++ Successor Languages
I can field questions folks might have on DataDraw. I'm not Bill, but I wrote the docs PR that recently overhauled the Rune README to highlight a lot of this interesting info about its use of the DD tool.
Another neat thing about DD -- the Rune compiler/grammar itself are written as DataDraw types, and one of the builtin things you can do is generate PostScript visualizations of them. Check this out:
https://github.com/google/rune/pull/33#issuecomment-13558283...
-
Sorting with SIMD
Maybe Google's new "Rune" language will become prevalent https://github.com/google/rune, which supports SoA.
-
Hacker News top posts: Nov 27, 2022
The Rune Programming Language\ (99 comments)
- The Rune Programming Language
- ᚣ the Rune Programming Language
What are some alternatives?
mangle
Rhai - Rhai - An embedded scripting language for Rust.
wuffs - Wrangling Untrusted File Formats Safely
duckscript - Simple, extendable and embeddable scripting language.
curve25519-dalek - A pure-Rust implementation of group operations on Ristretto and Curve25519
sgcl - Smart Garbage Collection Library for C++
zetasql - ZetaSQL - Analyzer Framework for SQL
biscuit-java - Java implementation of the Biscuit authentication and authorization token
miniserve - 🌟 For when you really just want to serve some files over HTTP right now!
pengine - pengines (SWI Prolog) client for Go
RustPython - A Python Interpreter written in Rust