Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: github.com  ai  rust  health  go  apple  show  video  psychology  security  environment  trump  eurekalert.org  psypost.org  meta  web  google  microsoft  release  theguardian.com 

An Embedded USB Device Stack in Ada

3 years ago blog.adacore.com embedded

How Masten Space Systems Is Using Ada and Spark to Land on the Moon's South Pole

3 years ago adacore.com

When the RISC-V ISA is the Weakest Link

3 years ago blog.adacore.com risc

Going Beyond Ada 2022

3 years ago blog.adacore.com

SPARKNaCl with GNAT and SPARK Community 2021: Port, Proof and Performance

3 years ago blog.adacore.com

Gnat 2021 GPL Community Edition Ada 202x compiler released

3 years ago adacore.com compiler release

An Introduction to Jorvik, the New Tasking Profile in Ada 2022

3 years ago blog.adacore.com

From Rust to Spark: Formally Proven Bip-Buffers

3 years ago blog.adacore.com rust

On the Benefits of Families ... (Entry Families)

3 years ago blog.adacore.com

Ada for the C++ and Java Developer

3 years ago learn.adacore.com c++ java

Performance analysis and tuning of SPARKNaCl

4 years ago blog.adacore.com

Finding Vulnerabilities using Advanced Fuzz testing and AFLplusplus v3.0

4 years ago blog.adacore.com

First beta release of Alire, the package manager for Ada/SPARK

4 years ago blog.adacore.com release

Ada 202x support in GNAT

4 years ago blog.adacore.com

Introduction to Ada Programming

4 years ago learn.adacore.com

Relaxing the Data Initialization Policy of SPARK

4 years ago blog.adacore.com

AdaCore’s 5th Annual "Make with Ada" Programming Competition Launching July 31st

4 years ago adacore.com

CuBit: A General-Purpose Operating System in SPARK/Ada

4 years ago blog.adacore.com

From Ada to Platinum SPARK: A Case Study for Reusable Bounded Stacks

4 years ago blog.adacore.com

Proving properties of constant-time crypto code in SPARKNaCl

4 years ago blog.adacore.com

Making An RC Car with Ada and SPARK

4 years ago blog.adacore.com

Android application with Ada and WebAssembly

4 years ago blog.adacore.com android

Using GNAT-LLVM to target Ada to WebAssembly

5 years ago blog.adacore.com

Combining GNAT with LLVM

5 years ago blog.adacore.com llvm

Proof of code with pointers now possible in SPARK using pledges

5 years ago blog.adacore.com

AdaCore Technologies for Cyber Security

5 years ago adacore.com

Secure Use of Crypto with SPARK Binding for Libsodium

5 years ago blog.adacore.com

The Beauty of Numeric Literals in Ada

5 years ago adacore.com

SPARK/Ada gets pointer support inspired by the Rust memory model

5 years ago blog.adacore.com rust

RFCs for Ada and SPARK evolution now on GitHub

5 years ago blog.adacore.com github

More →