Saint Wesonga

JDK main-line development

No description.

No description.

No description.

https://openjdk.org/projects/jdk-updates

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

Lean 4 programming language and theorem prover

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

No description.

Visual Studio Code

Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

LWJGL is a Java library that enables cross-platform access to popular native APIs useful in the development of graphics (OpenGL, Vulkan, bgfx), audio (OpenAL, Opus), parallel computing (OpenCL, CUDA) and XR (OpenVR, LibOVR, OpenXR) applications.

https://openjdk.org/projects/jdk-updates

Documentation and issues for Pylance

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

https://openjdk.org/projects/jdk-updates/

No description.

https://openjdk.org/projects/jdk-updates

The React Framework

Node.js JavaScript runtime ✨🐢🚀✨

Harper is an open-source Node.js performance platform that unifies database, cache, application, and messaging layers into one in-memory process.

Stellarium is a free GPL software which renders realistic skies in real time with OpenGL. It is available for Linux/Unix, Windows and macOS. With Stellarium, you really see what you can see with your eyes, binoculars or a small telescope.

The Ultimate Chess Toolkit

https://openjdk.java.net/projects/jdk-updates/

Open source 5G UE and RAN (gNodeB) implementation.

No description.

Implement a ChatGPT-like LLM in PyTorch from scratch, step by step

https://openjdk.org/projects/jdk-updates

Tool for parsing GC logs

https://openjdk.org/projects/jdk-updates

https://openjdk.org/projects/jdk-updates

https://openjdk.org/projects/jdk-updates

A set of utilities designed for incremental building, merging and optimization of data transformations.

This repo hosts the source for the DirectX Shader Compiler which is based on LLVM/Clang.

RStudio is an integrated development environment (IDE) for R

https://openjdk.org/projects/panama

Log analyser / visualiser for Java HotSpot JIT compiler. Inspect inlining decisions, hot methods, bytecode, and assembly. View results in the JavaFX user interface.

https://openjdk.java.net/projects/jdk-updates/

Fork of Elmer FEM git repository

A python interface to Elmer.

Thermal simulation of Test-CZ Czochralski growth furnace with induction heating.

Open source crystal growth simulations.

No description.

https://openjdk.java.net/projects/code-tools/jmh-jdk-microbenchmarks/

The C#, F# and Visual Basic project system for Visual Studio

The Z3 Theorem Prover

The Microsoft Build Engine (MSBuild) is the build platform for .NET and Visual Studio.

PerfView is a CPU and memory performance-analysis tool

Client Tools for NuGet - including Visual Studio extensions, command line tools, and msbuild support. (Open issues on https://github.com/nuget/home/issues)

🛠 Visual Studio extension for nanoFramework

This repo contains driver samples prepared for use with Microsoft Visual Studio and the Windows Driver Kit (WDK). It contains both Universal Windows Driver and desktop-only driver samples.

Source code and supporting material for the 7th Edition of OpenGL SuperBible