bracke

bracke's Stars

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown326k5.6k71630.2k

• emberjs/ember.js

  Ember.js - A JavaScript framework for creating ambitious web applications

  Language:JavaScript22.5k8416.7k4.2k

• miragejs/ember-cli-mirage

  An Ember Addon to easily add Mirage JS to your Ember app.

  Language:JavaScript86433947440

• ohenley/awesome-ada

  A curated list of awesome resources related to the Ada and SPARK programming language

  666491772

• AdaCore/spark2014

  SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

  Language:Ada254473735

• msiric/feasible-route-mapping

  Algorithm capable of finding all the areas that a person could have reached while en route between locations in a defined period, taking into account time and mode of transportation constraints.

  Language:TypeScript193126

• Ironclad-Project/Gloire

  An OS built with the Ironclad kernel and GNU tools

  Language:Shell129984

• alire-project/alire-index

  Community index for the Alire project

  60100102

• godunko/adawebpack

  Ada WASM Runtime and Bindings for Web API

  Language:Ada56693

• lasp/adamant

  A model-based flight software framework for Ada

  Language:Ada34748

• alire-project/ada_spark_workflow

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

  Language:Ada33846

• Componolit/gneiss

  Framework for platform-independent SPARK components

  Language:Ada2281232

• MelSumner/ember-component-patterns

  19254

• alire-project/clic

  Command Line Interface Components

  Language:Ada12733

• LionelDraghi/smk

  smk, the smart make

  Language:Ada125171

• bracke/brackelib

  Ada library which contains various utility packages. Mainly related to console and file and string operations.

  Language:Ada1200

• bracke/websitegenerator

  Generate static websites, easy and fast.

  Language:Ada1200