Lumrn

Lumrn's Stars

• NASA-SW-VnV/ikos

  Static analyzer for C/C++ based on the theory of Abstract Interpretation.

  Language:C++2.8k191

• duneroadrunner/SaferCPlusPlus

  A collection of safe data types that are compatible with, and can substitute for, common unsafe native c++ types

  Language:C++39921

• duneroadrunner/scpptool

  scpptool is a command line tool to help enforce a memory and data race safe subset of C++.

  Language:C++1513

• yhirose/mtlcpp

  Utilities for Metal-cpp

  Language:C++8

• Fortran-FOSS-Programmers/FOODIE

  Fortran Object-Oriented Differential-equations Integration Environment, FOODIE

  Language:Fortran12730

• jacobwilliams/odepack

  Work in Progress to refactor and modernize the ODEPACK Library

  Language:Fortran4513

• Reference-LAPACK/lapack

  LAPACK development repository

  Language:Fortran1.5k444

• quozd/awesome-dotnet

  A collection of awesome .NET libraries, tools, frameworks and software

  19.5k2.7k

• dotnet/corert

  This repo contains CoreRT, an experimental .NET Core runtime optimized for AOT (ahead of time compilation) scenarios, with the accompanying compiler toolchain.

  Language:C#2.9k509

• dotnet/corefx

  This repo is used for servicing PR's for .NET Core 2.1 and 3.1. Please visit us at https://github.com/dotnet/runtime

  17.7k4.9k

• dotnet/coreclr

  CoreCLR is the runtime for .NET Core. It includes the garbage collector, JIT compiler, primitive data types and low-level classes.

  12.8k2.7k