cbvi

cbvi's Stars

• shkhln/linuxulator-steam-utils

  Maintainer wanted

  Language:C13115

• austral/austral

  Systems language with linear types and capability-based security.

  Language:OCaml1.1k42

• ValeLang/Vale

  Compiler for the Vale programming language - http://vale.dev/

  Language:Scala1.8k54

• alire-project/ada_spark_workflow

  A demo of best practices for open-source Ada/SPARK development

  Language:Ada326

• ada-lang-io/ada-lang-io

  An Open Source Community site for Ada

  Language:TypeScript9114

• Ada-Rapporteur-Group/User-Community-Input

  Ada User Community Input Working Group - Github Mirror Prototype

  281

• pyjarrett/septum

  Context-based code search tool

  Language:Ada3807

• Componolit/SXML

  Formally verified, bounded-stack XML library

  Language:Ada222

• AdaCore/RecordFlux

  Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

  Language:Ada1077

• jklmnn/continuous-verification

  SPARK formal verification automated with Travis CI

  Language:Ada9

• iharuspex/advent_of_code

  Advent of Code solutions

  Language:Ada1

• docandrew/AOC2021

  Advent of Code 2021 (Ada)

  Language:Ada1

• LogicalAtomist/principia

  The Principia Rewrite

  Language:TeX2085

• smionean/AdventOfCode

  Advent of Code

  Language:Ada51

• Heziode/aoc-ada-2021

  Advent of Code 2021 in Ada

  Language:Ada21

• JeremyGrosser/advent

  Advent of Code - Ada

  Language:Ada4

• rabuf/advent-of-code

  Solutions for Advent of Code challenge

  Language:Python223

• AdaCore/ada-spark-rfcs

  Platform to submit RFCs for the Ada & SPARK languages

  6428

• tofgarion/spark-by-example

  SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

  Language:Ada15316

• hwayne/lets-prove-leftpad

  Proving leftpad correct two-dozen different ways

  Language:SystemVerilog65062

• jrcarter/Ada_GUI

  An Ada-oriented GUI

  Language:Ada372

• ytomino/drake

  Drake: A Runtime Library for gcc-Ada

  Language:Ada4210

• annexi-strayline/ASAP-Unicode

  ANNEXI-STRAYLINE AURA Public (ASAP) Repository - Unicode utilities

  Language:Ada5

• masak/proto

  A a hyper-lightweight dependency tracking and project installation system

  Language:Perl7235

• tadzik/panda

  Perl 6 module installer

  Language:Perl 611656

• Raku/raku.org

  Source code for https://raku.org/

  Language:HTML7051

• MoarVM/MoarVM

  A VM with adaptive optimization and JIT compilation, built for Rakudo

  Language:C707172

• Raku/roast

  🦋 Raku test suite

  Language:Raku182135

• rakudo/rakudo

  🦋 Rakudo – Raku on MoarVM, JVM, and JS

  Language:Raku1.7k376

• yet-another-static-site-generator/yass

  Yet Another Static Site (Generator)

  Language:Ada244