Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  health  show  video  nature.com  google  game  arstechnica.com  plt  release  environment  security  trump  psychology  theverge.com  apple  psypost.org  techcrunch.com 

AdaCore and Ferrous Systems Joining Forces to Support Rust

3 years ago blog.adacore.com rust

Ada/SPARK Crate of the Year 2021 Winners

3 years ago blog.adacore.com

Proving properties of constant-time crypto code in SPARKNaCl (Ada) (2020)

3 years ago blog.adacore.com

Ada on any ARM Cortex-M device, in just a couple minutes

3 years ago blog.adacore.com arm

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

4 years ago blog.adacore.com

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

4 years ago blog.adacore.com

Gnat 2021 GPL Community Edition Ada 202x compiler released

4 years ago adacore.com compiler release

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

4 years ago blog.adacore.com

From Rust to Spark: Formally Proven Bip-Buffers

4 years ago blog.adacore.com rust

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

4 years ago blog.adacore.com

Ada for the C++ and Java Developer

4 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

5 years ago blog.adacore.com

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

5 years ago blog.adacore.com

Proving properties of constant-time crypto code in SPARKNaCl

5 years ago blog.adacore.com

Making An RC Car with Ada and SPARK

5 years ago blog.adacore.com

Android application with Ada and WebAssembly

5 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

More →