Display options

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

Feedback? Email [email protected]

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

Ada 202x support in GNAT

4 years ago blog.adacore.com

Relaxing the Data Initialization Policy of SPARK

4 years ago blog.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

Secure Use of Crypto with SPARK Binding for Libsodium

5 years ago blog.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

Using Spark to Prove 255-Bit Integer Arithmetic from Curve25519

5 years ago blog.adacore.com

Ten Years of Using Spark to Build CubeSat Nano Satellites with Students

5 years ago blog.adacore.com

AdaFractal Part 2: Fixed Point and Floating Point Math Performance and Parallelization

6 years ago blog.adacore.com math

Highly portable (and safer) Web server in Ada

6 years ago blog.adacore.com web

Proving Memory Operations – A SPARK Journey

6 years ago blog.adacore.com

Ada on FPGAs with PicoRV32

6 years ago blog.adacore.com

Train control using Ada on a Raspberry Pi

6 years ago blog.adacore.com raspberry-pi

AdaCore GNAT Community 2018 released

6 years ago blog.adacore.com release

Taking on a Challenge in SPARK

6 years ago blog.adacore.com

Getting Rid of Rust with Ada

6 years ago blog.adacore.com rust

The Road to a Thick OpenGL Binding for Ada

6 years ago blog.adacore.com

Ada on the Micro:bit board

6 years ago blog.adacore.com

Bitcoin blockchain in Ada: Lady Ada meets Satoshi Nakamoto

6 years ago blog.adacore.com bitcoin

The Road to a Thick OpenGL Binding for Ada: Part 1

7 years ago blog.adacore.com

Leveraging Ada Run-time Checks with Fuzz Testing in AFL (2017)

7 years ago blog.adacore.com

Make with Ada 2017- Ada Based IoT Framework

7 years ago blog.adacore.com

There's a mini-RTOS in my language

7 years ago blog.adacore.com

More →