500 packages found. Page 7 of 10.

« First ‹ Previous ... 2 3 4 5 6 7 8 9 10 Next › Last »

Name Version Votes Popularity? Description Maintainer
z3-stable-git 4.8.4.g05663592e-1 0 0.00 Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github) Ice_Phoenix
z3-unstable-git 20150413-1 1 0.00 Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github) Ice_Phoenix
z80dasm 1.1.5-1 4 0.00 Disassembler for the Zilog Z80 microprocessor ivanovp
firecracker-git 1:r2700.dc893ea2-1 2 0.00 Secure and fast microVMs for serverless computing gdamjan
giph-git 1.1.1.r0.gcf0eb7f-1 1 0.00 video recorder that records the desktop, a window or a selection phisch
micromanager-git v2.0.0.beta2.r2147.gc6734e115-2 2 0.00 Software package for control of automated microscopes. CMMCore, MMStudio, python2 and Java bindings orphan
openttd-bin 1.8.0-0 5 0.00 OpenTTD is an open source simulation game based upon the popular Microprose game "Transport Tycoon Deluxe". This package lets you have installed more versions simultaneously (simply change pkgver). Tomaash
tass64 1.55.2200-1 3 0.00 tass64 is cross (turbo) assembler targeting the MOS 65xx series of micro processors (6502/65C02/R65C02/W65C02/65CE02/65816/DTV/65EL02) uffe
python-azure-git 4.0.0.r2158.g619eb295a6-1 3 0.00 Microsoft Azure SDK for Python pallxk
nodejs-azurite 2.7.1-1 1 0.00 A lightweight server clone of Azure Storage that simulates most of the commands supported by it with minimal dependencies Jammie
python-vsts-cd-manager 1.0.2-3 2 0.00 Microsoft Visual Studio Team Services Continuous Delivery Manager Jammie
mcpelauncher-msa-git v0.1.beta.1.r10.g323bb82-1 2 0.00 Microsoft Account authentication daemon for mcpelauncher mrarm
mcpelauncher-msa-ui-qt-git v0.1.beta.1.r10.g323bb82-1 2 0.00 Microsoft Account authentication user interface (Qt) for the mcpelauncher-msa-daemon mrarm
access-export 0.2.0-3 6 0.00 Export and convert Microsoft® Access® databases (.mdb) to various formats including SQLite Raimar
lpcscrypt 2.1.1.15-0 1 0.00 Programming tool for LPC1800 and LPC4000 series microcontrollers codyps
sidewinderd 0.4.3-1 11 0.00 Support for Microsoft SideWinder X4 / X6 and Logitech G103 / G105 / G710+. tolga9009
sealcrypto 3.6.0-1 1 0.00 Microsoft library for fully homomorphic encryption amaloz
lib32-libmicrohttpd 0.9.51-2 2 0.00 a small C library that is supposed to make it easy to run an HTTP server as part of another application. maximevince
dasm 2.20.14-1 3 0.00 A versatile macro assembler with support for several 8-bit microprocessors including 6502, 6507, 6803, HD6303, 68HC11, 68705, and F8 FryDay
microsoft-python-language-server 1:0.2-1 6 0.00 Microsoft Language Server for Python heftig
micropython-git 1:1.12.r451.g18fb5b443-1 2 0.00 A Python 3 implementation for microcontrollers and constrained environments (Unix version). SpotlightKid
vlmcsd-git r29.65228e5-2 6 0.00 KMS Emulator in C (for activating Microsoft products) JerryXiao
ridl r39.508d549-1 2 0.00 A tool to check whether your system is affected by Micro-architectural Data Sampling and other attacks wget
libopencm3-git r2314.f5d2d8f1-1 11 0.00 Open Source firmware library for various ARM Cortex microcontrollers anatolik
libam7xxx 0.1.7-2 1 0.00 Open Source library to communicate via USB with Projectors and Digital Picture Frames based on the Actions Micro AM7XXX family of ICs marquicus
mcuxpresso-config-tools 9.0-1 3 0.00 Integrated suite of configuration tools for NXP's microcontrollers. From BIN package distributed by NXP. dpevp
micronaut 1.3.5-1 2 0.00 Application Framework orphan
pidgin-sipe-git 1.25.0.r3.g9043ff51-1 3 0.00 Third-party Pidgin plugin for Microsoft Office 365/Lync/LCS/OCS ogarcia
microsoft-r-open 4.0.2-1 11 0.00 Language and environment for statistical computing and graphics, enhanced by Microsoft alexanderp
xod v0.32.1-3 1 0.00 XOD is a visual programming language for microcontrollers. satriani
thinkfinger 0.3-9 1 0.00 A driver for the SGS Thomson Microelectronics fingerprint reader found in most IBM/Lenovo ThinkPads orphan
python-azure-storage 1.5.0-1 4 0.00 Microsoft Azure Storage Library for Python lukaszimmermann
surface-control 0.4.0-1 1 0.00 Control various aspects of Microsoft Surface devices from the Command-Line qzed
python-flask12 0.12.4-2 2 0.00 The Python micro framework for building web applications orphan
mpy-cross 1.13-1 1 0.00 MicroPython cross compiler compiles .py scripts into .mpy files XenGi
payara 5.2021.2-1 4 0.00 Jakarta EE (Java EE) & MicroProfile compatible application server for production and containerized deployments. morealaz
dream3d 6.5.150-1 1 0.00 Analysis tool for microstructure data MartinDiehl
surface-control-bin 0.4.0-1 1 0.00 Control various aspects of Microsoft Surface devices from the Command-Line qzed
faster-git c4a2c68-1 2 0.00 Fast key-value store from Microsoft Research vbmithr
linux-wsl 4.19.128-1 1 0.00 Microsoft's Windows Subsystem for Linux 2 (WSL2) kernel greyltc
msbuild-15-bin 15.5_xamarinxplat.2017.08.16.12.03_0xamarin3_ubuntu1404b1-3 17 0.00 Xamarin implementation of the Microsoft build system iikirilov
walinuxagent 2.2.53-1 5 0.00 Microsoft Azure Linux Guest Agent matmoul
twtxt 1.2.3-1 4 0.00 Decentralised, minimalist microblogging service for hackers. buckket
avr-libc-tinyos 1.6.7-1 1 0.00 The C runtime library for the AVR family of microcontrollers, with TinyOS patches abdullatif
intel-ucode-platomav-git r28.360b8e9-1 4 0.00 Microcode update files for Intel CPUs avph
kinetis-design-studio 3.2.0-1 3 0.00 IDE for the Kinetis microcontrollers range from NXP. Based on Eclipse. gromain
microchip-mplabxc32-bin 2.50-1 11 0.00 Microchip's MPLAB XC32 C compiler toolchain for all of their 32bit microcontrollers greyltc
vavrdisasm 3.1-1 1 0.00 An 8-bit Atmel AVR disassembler vsergeev
utimer 0.4-9 42 0.00 A command-line multifunction timer tool g99
linux-firmware-surface-book 20190501.4b6cf2b.2b206b56e-1 3 0.00 Firmware files for Linux, with Microsoft Surface related files replaced from https://github.com/jakeday/linux-surface/ orphan

500 packages found. Page 7 of 10.

« First ‹ Previous ... 2 3 4 5 6 7 8 9 10 Next › Last »