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:

scheme compiler actuallyidon'texceptanyhelp

This project is part of:

Hack Week 13

Activity

  • almost 9 years ago: mvidner liked this project.
  • about 9 years ago: NalaGinrut added keyword "scheme" to this project.
  • about 9 years ago: NalaGinrut added keyword "compiler" to this project.
  • about 9 years ago: NalaGinrut added keyword "actuallyidon'texceptanyhelp" to this project.
  • about 9 years ago: NalaGinrut started this project.
  • about 9 years ago: NalaGinrut originated this project.

  • 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