SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

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

AWS is a complete framework to develop Web based applications in Ada.

Flow-based visual scripting for Python

Aeronautical engineering calculations in Python.

Reliable model swapping for any local OpenAI/Anthropic compatible server - llama.cpp, vllm, etc

This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); …

Renderer for the harmony response format to be used with gpt-oss

Artificial Neural Engine Machine Learning Library

Open Source DeepWiki: AI-Powered Wiki Generator for GitHub/Gitlab/Bitbucket Repositories. Join the discord: https://discord.gg/gMwThUMeme

CFD simulations using Tensor Network encoding.

A multithreaded, distributed, GPU-accelerated simulator of quantum computers

Classical Aerodynamics of potential flow using Python and Jupyter Notebooks

Source and vortex panel method codes referenced in my YouTube videos.

mounts an overlay file system over root

Shapley Additive Explanations for Multi-objective Design Exploration (SHAP-MODE) is a MATLAB-based tool for knowledge discovery in multi-objective design space.

I collect my students' thesis in this repository

This is a repository of teaching materials for Research Methodology taught at Institut Teknologi Bandung (in Python)

This is a collection of Jupyter notebooks (or maybe some R markdown files) that I use to teach aerodynamics and fluid mechanics. Included here are codes for solving Blasius equation and compressibl…

This project uses a Large Language Model (LLM) with Retrieval-Augmented Generation (RAG) to convert natural language descriptions into executable FreeCAD Python scripts for 3D modeling.

🐢 Open-Source Evaluation & Testing library for LLM Agents

A very simple launcher for a certain factory building game

Qemu with gunyah patches applied. Patch: #patchew/2024…@quicinc.com@09bfd4f2

A QEMU mirror with patches applied by patchew

Run Windows Applications on Linux as if they are native, Use linux applications to launch files files located in windows vm without needing to install applications on vm. With easy to use configura…

Multi-drone PX4/ArduPilot ROS2 control of quads and VTOLs, with YOLO, LiDAR, Dockerized Gym simulation, and JetPack deployment

Userspace applications running with proot and built with Docker