augusta
Systems programming language
A language and compiler for systems programming with a focus on simplicity, ease of implementation, and extension points
A simple, systems-level programming language and compiler
28 stars
4 watching
1 forks
Language: Ada
last commit: 3 months ago
Linked from 1 awesome list
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 illandan/scala.compiler.guides | A collection of resources and guides for understanding and contributing to the Scala compiler. | 21 |
 zertovitch/hac | A small, quick compiler written in Ada for the Ada programming language | 127 |
 adacore/gnat-llvm | An Ada compiler based on LLVM to generate native code from the GNAT front-end. | 185 |
| adacore/cuda | A toolset that compiles Ada and SPARK code to NVIDIA GPUs | 18 |
 acceleratehs/accelerate-llvm | Compiles Accelerate code to LLVM IR and executes it on CPUs or NVIDIA GPUs | 159 |
 rocher/ob-ada-spark | Supports Ada and SPARK programming languages in Emacs org-babel for compiling, running, and formal verification of code | 8 |
 alex-gamper/ada-languageserver | An LSP client prototype for Visual Studio 2017 implementing support for the Ada programming language | 1 |
| adacore/ada_language_server | An implementation of the Microsoft Language Server Protocol for Ada/SPARK and GPR project files. | 242 |
 andyglow/scala-jsonschema | Generates JSON Schemas from Scala data types and objects | 124 |
 scalapb/scalapb | Tools for generating Scala code from protocol buffer definitions. | 1,309 |
 eudoxia0/rock | A tool for managing and bundling assets for Common Lisp web applications | 46 |
 alexandru/scala-best-practices | Guides developers on following best practices for writing maintainable and efficient Scala code | 4,391 |
 valelang/vale | A compiler for a programming language designed to be fast, memory-safe, and easy to use | 1,798 |
 vert-x3/vertx-lang-scala | Provides language bindings and helpers for using Vert.x with Scala | 122 |
 scalalandio/chimney | A Scala library for automating data transformations without boilerplate code. | 1,181 |