1 repo
Awesome GitHub RepositoriesStatic Analysis
Tools for validating code structures, types, and protocols during compilation to detect errors before execution.
Distinguishing note: Focuses on compile-time validation of logic and protocols rather than runtime debugging.
Explore 1 awesome GitHub repository matching software engineering & architecture · Static Analysis. Refine with filters or upvote what's useful.
Awesome Static Analysis GitHub Repositories
Find the best repos with AI.We'll search the best matching repositories with AI.
- elixir-lang/elixir
elixir-lang/elixir
26,451View on GitHubElixir is a functional, concurrent programming language designed for building scalable and maintainable applications. It operates on the Erlang virtual machine, leveraging a distributed, fault-tolerant runtime environment that manages lightweight processes to ensure system reliability. By utilizing an actor-model supervision strategy, the language enables the creation of high-concurrency backend systems that automatically recover from failures and maintain stability under heavy loads. The language distinguishes itself through a powerful metaprogramming environment that allows developers to ex
Check data structures and function signatures during compilation to identify potential mismatches early and prevent common logic errors before the code runs.
Elixir
