Skip to content

@val-verde Val Verde Inc.

Change the repository type filter

All

    Repositories list

    464 repositories

    • moltenvk

      Public
      MoltenVK is a Vulkan Portability implementation. It layers a subset of the high-performance, industry-standard Vulkan graphics and compute API over Apple's Metal graphics framework, enabling Vulkan applications to run on iOS and macOS.
      Objective-C++
      •
      Apache License 2.0
      •428•0•0•0•Updated Apr 7, 2024Apr 7, 2024

    • alive2

      Public
      C++
      •
      MIT License
      •101•0•0•1•Updated Sep 11, 2023Sep 11, 2023

    • harfbuzz

      Public
      HarfBuzz text shaping engine
      C++
      •
      Other
      •630•0•0•1•Updated Sep 4, 2023Sep 4, 2023

    • python-tqdm

      Public
      A Fast, Extensible Progress Bar for Python and CLI
      Python
      •
      Other
      •1.4k•0•0•0•Updated Aug 20, 2023Aug 20, 2023

    • vim

      Public
      The official Vim repository
      Vim Script
      •
      Vim License
      •5.5k•0•0•1•Updated May 22, 2023May 22, 2023

    • systemd

      Public
      The systemd System and Service Manager
      C
      •
      GNU General Public License v2.0
      •3.8k•0•0•4•Updated Mar 1, 2023Mar 1, 2023

    • z3

      Public
      The Z3 Theorem Prover
      C++
      •
      Other
      •1.5k•0•0•2•Updated Feb 6, 2023Feb 6, 2023

    • cpython

      Public
      The Python programming language
      Python
      •
      Other
      •30k•0•0•3•Updated Feb 1, 2023Feb 1, 2023

    • expat

      Public
      🌿 Expat library: Fast streaming XML parser written in C; in the process of migrating from SourceForge to GitHub
      C
      •435•0•0•2•Updated Jan 9, 2023Jan 9, 2023

    • python-jinja

      Public
      A very fast and expressive template engine.
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •1.6k•0•0•4•Updated Jan 1, 2023Jan 1, 2023

    • builders

      Public
      Val Verde Builders repo
      javaswiftrustgolangcillvmpython3soliditygnumingw-w64
      Shell
      •0•3•6•0•Updated Nov 1, 2022Nov 1, 2022

    • wine

      Public
      C
      •
      Other
      •1.1k•0•0•0•Updated Nov 1, 2022Nov 1, 2022

    • mozjs

      Public
      Fork of https://salsa.debian.org/gnome-team/mozjs.git.
      JavaScript
      •
      Other
      •1•0•0•1•Updated Oct 20, 2022Oct 20, 2022

    • llvm-project

      Public
      Other
      •12k•0•0•0•Updated Oct 19, 2022Oct 19, 2022

    • swift

      Public
      The Swift Programming Language
      C++
      •
      Apache License 2.0
      •10k•0•0•0•Updated Oct 19, 2022Oct 19, 2022

    • directx-headers

      Public
      Official DirectX headers available under an open source license
      C
      •
      MIT License
      •156•0•0•0•Updated Oct 18, 2022Oct 18, 2022

    • renderdoc

      Public
      RenderDoc is a stand-alone graphics debugging tool.
      C++
      •
      MIT License
      •1.4k•0•0•0•Updated Oct 17, 2022Oct 17, 2022

    • mesa

      Public
      Mesa 3D graphics library (read-only mirror)
      C
      •440•0•0•0•Updated Oct 17, 2022Oct 17, 2022

    • libzmq

      Public
      ZeroMQ core engine in C++, implements ZMTP/3.1
      C++
      •
      GNU General Public License v3.0
      •2.4k•0•0•0•Updated Oct 17, 2022Oct 17, 2022

    • jansson

      Public
      C library for encoding, decoding and manipulating JSON data
      C
      •
      MIT License
      •814•0•0•0•Updated Oct 17, 2022Oct 17, 2022

    • spirv-tools

      Public
      C++
      •
      Apache License 2.0
      •556•0•0•0•Updated Oct 17, 2022Oct 17, 2022

    • linux

      Public
      Linux kernel stable tree mirror
      C
      •
      Other
      •523•0•0•0•Updated Oct 16, 2022Oct 16, 2022

    • wasi-libc

      Public
      WASI libc implementation for WebAssembly
      C
      •
      Other
      •203•0•0•0•Updated Oct 15, 2022Oct 15, 2022

    • mingw-w64

      Public
      mingw-w64 Git mirror
      C
      •
      Other
      •86•0•0•0•Updated Oct 15, 2022Oct 15, 2022

    • box86

      Public
      Box86 - Linux Userspace x86 Emulator with a twist, targeted at ARM Linux devices
      C
      •
      MIT License
      •233•0•0•0•Updated Oct 15, 2022Oct 15, 2022

    • openjdk

      Public
      JDK main-line development
      Java
      •
      GNU General Public License v2.0
      •5.5k•0•0•0•Updated Oct 15, 2022Oct 15, 2022

    • cups

      Public
      Official CUPS Sources
      C
      •
      Apache License 2.0
      •464•0•0•0•Updated Oct 14, 2022Oct 14, 2022

    • pocl

      Public
      pocl - Portable Computing Language
      C
      •
      MIT License
      •252•0•0•0•Updated Oct 14, 2022Oct 14, 2022

    • spirv-headers

      Public
      SPIRV-Headers
      C++
      •
      Other
      •260•0•0•0•Updated Oct 13, 2022Oct 13, 2022

    • cctools-port

      Public
      Apple cctools port for Linux and *BSD
      C
      •168•0•0•0•Updated Oct 13, 2022Oct 13, 2022