Jeremy Grosser (JeremyGrosser)

JeremyGrosser

Geek Repo

Home Page:https://synack.me/

Twitter:@JeremyGrosser

Github PK Tool:Github PK Tool


Organizations
clusto
ComputerScienceHouse

Jeremy Grosser's repositories

rp2040_hal

Ada drivers for the Raspberry Pi RP2040 SoC

Language:AdaLicense:BSD-3-ClauseStargazers:34Issues:5Issues:34

pico_examples

Ada examples for the Raspberry Pi Pico

pico_bsp

Ada BSP for the Raspberry Pi Pico

notcursesada

Ada bindings for the notcurses text user interface library

Language:AdaLicense:NOASSERTIONStargazers:12Issues:4Issues:0

dewpoint

A utility library for interacting with clouds

Language:PythonLicense:BSD-2-ClauseStargazers:7Issues:4Issues:1

epoll-ada

Ada binding for Linux epoll

Language:AdaLicense:BSD-3-ClauseStargazers:5Issues:3Issues:0

advent

Advent of Code - Ada

Language:AdaStargazers:4Issues:3Issues:0

drivers

An assortment of drivers

Language:AdaLicense:BSD-3-ClauseStargazers:4Issues:3Issues:0

linux_hal

Ada HAL drivers for Linux GPIO and SPI interfaces

Language:AdaLicense:BSD-3-ClauseStargazers:4Issues:3Issues:0

picolua

A minimal example of Lua with Raspberry Pi pico-sdk

Language:CLicense:NOASSERTIONStargazers:4Issues:0Issues:0

tiny_text

Low resolution bitmap font with a small memory footprint

Language:AdaLicense:NOASSERTIONStargazers:3Issues:2Issues:0

synack_misc

Miscellaneous useful packages for embedded projects

Language:AdaLicense:NOASSERTIONStargazers:2Issues:3Issues:0

breakouts

Random breakout boards, rarely useful

Stargazers:1Issues:0Issues:0

pico_doc

Documentation for Ada on the Raspberry Pi Pico

Language:HTMLLicense:NOASSERTIONStargazers:1Issues:5Issues:0

alire

Command-line tool from the Alire project and supporting library

Language:AdaLicense:GPL-3.0Stargazers:0Issues:2Issues:0

alire-index

Community index for the Alire project

Language:ShellLicense:GPL-3.0Stargazers:0Issues:1Issues:0

alire-index-msp430

MSP430 toolchain package index for Alire

Stargazers:0Issues:2Issues:0
Stargazers:0Issues:0Issues:0
Language:AdaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

ccs2ada

TI device definitions to Ada package specifications

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

GNAT-FSF-builds

Builds of the GNAT Ada compiler from FSF GCC releases

License:MITStargazers:0Issues:0Issues:0

gprconfig_kb

GPR configuration knowledge base

License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

protohackers

Solutions for the Protohackers.com network programming puzzles in Ada

Language:AdaStargazers:0Issues:3Issues:0

raylib-ada

Ada bindings for the Raylib library

Language:AdaStargazers:0Issues:0Issues:0

samd51_hal

Ada drivers and HAL implementation for the SAMD51 micro-controller family

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

sqlite3_binding

Lightweight SQLite binding for Ada

Language:CStargazers:0Issues:2Issues:0

startup-gen

A startup code generator for embedded projects

Language:AdaStargazers:0Issues:1Issues:0

threepi_bsp

Pololu 3pi 2040 Ada Support

Language:AdaLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0