I'm trying to write a static analyzer for Lua programming language. And I've ready done some parts, say, lexer/parser/AST/types...etc.
The challenge part at present, is to write comment-based type annotation, for later type-inference. I plan to implement it in a week. I've spent years on this area. Hope I'm lucky in hackweek.
Looking for hackers with the skills:
This project is part of:
Hack Week 13
Activity
Comments
Be the first to comment!
Similar Projects
concierge: a distributed object capabilities based secret management tool implemented with Spritely Goblins by gleidi
Description
The idea is to build a FOSS command line (for now) secrets management tool, you may have heard of SOPS or Hashicorp Vault, with Spritely Goblins.
Goblins is a distributed object programming environment. It provides an intuitive security model, automatic local transactions for locally synchronous operations, and an easy to use and efficient asynchronous programming interface for encapsulated objects which can live anywhere on the network. Its networking model abstracts away these details so the programmer can focus on object programming rather than protocol architecture.
Goblins also integrates powerful distributed debugging tools, and a process persistence and upgrade model which respects its security fundamentals.
Goals
- learn more about distributed object capabilities environments
- create a Goblins application (or more realistically a demo) able to serialize encrypted secrets and allow only the read capability owner to read the serialized secrets.
Resources
- https://codeberg.org/fishinthecalculator/concierge
- https://spritely.institute/goblins/
- https://www.gnu.org/software/guile/manual/guile.html