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  apple  go  trump  show  security  video  meta  web  psychology  eurekalert.org  arstechnica.com  google  environment  psypost.org  theguardian.com  theverge.com 

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

AdaCore Announces Winners for Third Annual “Make with Ada” Competition

5 years ago adacore.com

AdaCore Joins the RISC-V Foundation to Provide C and Ada Compilation Support

6 years ago adacore.com c risc

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

6 years ago blog.adacore.com math

SPARK Ada for the MISRA C Developer - Interactive Book

6 years ago learn.adacore.com c

Highly portable (and safer) Web server in Ada

6 years ago blog.adacore.com web

Intro to SPARK

6 years ago learn.adacore.com

Proving Memory Operations – A SPARK Journey

6 years ago blog.adacore.com

Reflections on Industrial Use of Frama-C

6 years ago 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

Safe Dynamic Memory Management in Ada and SPARK

6 years ago adacore.com

Safe Dynamic Memory Management in Ada and SPARK

6 years ago adacore.com

New interactive site to learn the Ada language and program proving in SPARK

6 years ago learn.adacore.com

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

7 years ago blog.adacore.com

Ada on the Micro:bit board

7 years ago blog.adacore.com

Bitcoin blockchain in Ada: Lady Ada meets Satoshi Nakamoto

7 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

Highlighting Ada with Libadalang

7 years ago blog.adacore.com

Ada on the First, RISC-V Microcontroller

7 years ago blog.adacore.com risc

A Usable Copy-Paste Detector in A Few Lines of Python

7 years ago blog.adacore.com python

GPS (IDE for Ada) for bare-metal developers

7 years ago blog.adacore.com

An inside look at AdaCore's extended strings package for Ada

7 years ago blog.adacore.com

More →