An open-source, privacy-enhancing web browser for iOS, utilizing the Tor anonymity network
-
Updated
Nov 11, 2024 - HTML
#
mpl
Here are 45 public repositories matching this topic...
Love template metaprogramming
-
Updated
Apr 10, 2022 - C++
Typst backend for matplotlib (Python visualization library).
-
Updated
Oct 23, 2024 - Python
Convert Sigma Space Micro Pulse Lidar (MPL) data files to NetCDF
-
Updated
May 10, 2024 - Python
C++17 meta programming library for fast compilation speed.
-
Updated
Nov 17, 2024 - C++
Auto-active verification of floating-point programs.
haskell
library
math
mathematics
formal-methods
maths
floating-point
formal-verification
program
mpl
theorem-prover
floating-point-arithmetic
-
Updated
Nov 10, 2023 - Haskell
Simple template meta-programming library
cpp
templates
cpp14
metaprogramming
cpp11
template-metaprogramming
gcc-complier
cpp17
msvc
clang-frontend
mpl
cpp20
cpp23
cpp2c
-
Updated
Oct 1, 2024 - C++
Automatic Lidar and Ceilometer Processing Framework (ALCF)
cloud
icon
lidar
climate-model
ceilometer
alc
mpl
amps
cl31
cl51
reanalysis
unified-model
lidar-simulator
cosp
minimpl
chm15k
era5
merra-2
jra-55
cl61
-
Updated
Oct 22, 2024 - Fortran
An automated prover targeting problems that involve nonlinear real arithmetic.
haskell
library
math
theorem-proving
mathematics
verification
formal-methods
maths
program
mpl
theorem-prover
automatic-theorem-proving
-
Updated
Dec 6, 2023 - JavaScript
A library encompassing smart interactions missing in matplotlib
-
Updated
Sep 18, 2023 - Python
Improve this page
Add a description, image, and links to the mpl topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the mpl topic, visit your repo's landing page and select "manage topics."