augusta

Ada compiler

A compiler for an Ada programming language, written in Scala and targeting LLVM.

An Ada 2012 compiler in Scala

GitHub

28 stars
4 watching
1 forks
Language: Scala
last commit: 7 days ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related 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 123
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 158
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. 236
andyglow/scala-jsonschema Generates JSON Schemas from Scala data types and objects 123
scalapb/scalapb Tools for generating Scala code from protocol buffer definitions. 1,308
eudoxia0/rock An asset manager for Common Lisp web apps that simplifies the process of downloading and bundling libraries. 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,787
vert-x3/vertx-lang-scala Provides language bindings and helpers for using Scala with Vert.x 122
scalalandio/chimney A library for boilerplate-free data transformations using type-safe mapping and automatic conversion. 1,174