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

GitHub

28 stars
4 watching
1 forks
Language: Ada
last commit: about 1 month 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 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