Skip to content
View jquorning's full-sized avatar
🎯
Focusing
🎯
Focusing
  • quornings
  • Hornslet, Djursland, Danmark

Block or report jquorning

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Haskell compiler

Ada 2 Updated Nov 23, 2025

Ada major mode using tree-sitter for Emacs

Emacs Lisp 26 2 Updated Dec 7, 2025
Ada 1 Updated Dec 20, 2025

Extract dependency information from Ada projects

Ada 6 Updated Dec 18, 2025

Context-based code search tool

Ada 393 10 Updated Jun 22, 2025

A process for Ada/SPARK software to meet ISO 26262

Python 28 2 Updated Jul 8, 2025

Memorial to Simon J Wright

6 Updated Apr 4, 2025

Simple Ada Prolog library

Ada 8 Updated Mar 6, 2025

Local hosting of ARM

HTML 4 1 Updated Jun 24, 2025

Github pages for the Ada Rapporteur Group

HTML 1 2 Updated Jun 7, 2025

Dependency-graph build for AdaCore's GPR files

Rust 2 Updated Mar 31, 2025

Ada support for OpenAPI code generator

Ada 30 3 Updated Nov 10, 2025

Simple chess demo done in Ada using GtkAda library (Adacore distrubutions) on Windows 7 (64)

Ada 2 Updated Jan 25, 2019

Ada library and tools for the analysis of Complex Networks and more

Ada 11 5 Updated Nov 16, 2023

mruby/c is another implementation of mruby.

C 465 79 Updated Nov 27, 2025

Markdown parser

Ada 11 2 Updated Nov 28, 2025

An Ada parser to generate Famix models

Smalltalk 1 Updated Jan 20, 2020

The Ada Conformity Assessment Test Suite, customised for GCC.

Ada 12 2 Updated Aug 1, 2024

Handy library packages

Ada 1 Updated Sep 27, 2024

A flight software framework in SPARK/Ada

Ada 55 10 Updated Nov 17, 2025

Adventures for Learning and Inspiring Coding Excellence

Ada 14 3 Updated Aug 24, 2025

G-NAV is a soaring computer for Linux OS, written in Ada and powered by OpenGL (ES) and either GLFW or SDL. It runs native on Raspberry Pi and similar ARM boards.

Ada 24 Updated Oct 16, 2025

CommonMark parsing and rendering library and program in C

C 1,880 620 Updated Dec 15, 2025

PolyORB-HI/Ada runtime for Ocarina

Ada 1 Updated Oct 18, 2019

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

Ada 1 Updated Oct 7, 2019

Hybrid Ada compiler for MSP430 platform

Ada 6 Updated Sep 3, 2024

DWSIM is a Steady-State and Dynamic Sequential Modular Chemical Process Simulator for Windows, Linux and macOS.

Visual Basic .NET 431 126 Updated Dec 9, 2025

Make Project Oberon Pretty Again

TeX 199 9 Updated Jan 9, 2024
6 Updated Mar 30, 2023

THIS REPOSITORY HAS MOVED TO github.com/nvidia/cub, WHICH IS AUTOMATICALLY MIRRORED HERE.

Cuda 85 49 Updated Feb 21, 2024
Next