Beast code in Giters

Chris's starred repositories

rlua

High level Lua bindings to Rust

Language:RustNOASSERTION170200

Fritzing_ESP32_breakout_board

Fritzing part: ESP32 breakout board / pinboard

Apache-2.0100

nuttx

Apache NuttX is a mature, real-time embedded operating system (RTOS)

Language:CApache-2.0253700

zephyr

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

Language:CApache-2.01024900

ESP32_minimalSPI

Language:C100

minimain-esp32-s2

NOASSERTION400

esp32-minimal

Minimal sample project for the ESP32 (without using the ESP-IDF). It supports serial, timers, and GPIO output.

Language:C400

minimal-esp32-sdk

Implements a no-dependencies (e.g. to ESP-IDF or Arduino-ESP32) SDK for the ESP32.

Language:C700

Ada_Drivers_Library

Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

Language:AdaBSD-3-Clause23800

solenoid-engine-controller

Software controller for solenoid engines (Ada/STM32F4)

Language:Ada500

esp32-simulator

FreeRTOS-Sim (FreeRTOS POSIX port), and collection of stubbed esp-idf components to allow running esp-idf apps on POSIX OSes (macOS)

Language:CNOASSERTION900

drake

Drake: A Runtime Library for gcc-Ada

Language:AdaMIT4200

gnat4drake

GNAT compatibility layer for drake

Language:AdaMIT100

snowpeak

A PoC SNMPv1 agent simulator based on RecordFlux & asn2rflx.

Apache-2.0100

gnat-llvm

LLVM based GNAT compiler

Language:Ada18000

polyorb-hi-c

PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS

Language:CNOASSERTION1200

polyorb-hi-ada

PolyORB-HI/Ada runtime for Ocarina

Language:AdaNOASSERTION900

ocarina

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

Language:AdaNOASSERTION6200

muen

Official mirror of the Muen Separation Kernel repository

Language:AdaNOASSERTION8000

code_examples_server

prototype server for creating interactive "try SPARK / try Ada" webpages

Language:Python300

wposix

Ada Windows POSIX binding

Language:AdaNOASSERTION400

win32ada

Ada API to the Windows library

Language:Ada1700

jsonschema-c

JSON schema validation and parsing based on libjson-c

Language:CMIT1300

rapidjson

A fast JSON parser/generator for C++ with both SAX/DOM style API

Language:C++NOASSERTION1407400

restful-doom

HTTP+JSON API hosted inside the 1993 DOOM engine!

Language:CGPL-2.028100

c-rest-engine

Language:CNOASSERTION4000

php-json-schema

High definition PHP structures with JSON-schema based validation

Language:PHPMIT43600

php-code-builder

JSON Schema enabled PHP code building abstraction for PHP

Language:PHPMIT7100

openapi-schema-to-json-schema

Converts OpenAPI Schema Object to JSON Schema

Language:JavaScript7500

abap2yuml

A great tool for converting ABAP code into yUML dsl

MIT2600