451. LeanHomepage
Theorem Proving in Lean
FAQ
452. WindowstemplatestudioWindows Template Studio quickly builds a UWP app, using a wizard-based UI to turn your needs into a foundation of Windows 10 patterns and best practices.
453. NoobsNOOBS (New Out Of Box Software) - An easy Operating System install manager for the Raspberry Pi
454. AdelaidetAdelaiDet is an open source toolbox for multiple instance-level detection and recognition tasks.
455. GacuiGPU Accelerated C++ User Interface, with WYSIWYG developing tools, XML supports, built-in data binding and MVVM features.
456. GgpoGood Game, Peace Out Rollback Network SDK
457. ComputelibraryThe Compute Library is a set of computer vision and machine learning functions optimised for both Arm CPUs and GPUs using SIMD technologies.
458. SruSRU is a recurrent unit that can run over 10 times faster than cuDNN LSTM, without loss of accuracy tested on many tasks.
459. Appsales MobileApp Sales allows iPhone and Mac App Store developers to download and analyze their daily and weekly sales reports from iTunes Connect.
460. Pointnet2PointNet++: Deep Hierarchical Feature Learning on Point Sets in a Metric Space
461. SniproxyProxies incoming HTTP and TLS connections based on the hostname contained in the initial request of the TCP session.
462. Runtime[not maintained] Lightweight JavaScript library operating system for the cloud
463. JittorJittor is a high-performance deep learning framework based on JIT compiling and meta-operators.
465. UnilmLarge-scale Self-supervised Pre-training Across Tasks, Languages, and Modalities
466. SourcekittenAn adorable little framework and command line tool for interacting with SourceKit.
473. KoadicKoadic C3 COM Command & Control - JScript RAT
475. ScyllahideAdvanced usermode anti-anti-debugger. Forked from https://bitbucket.org/NtQuery/scyllahide
476. ParlA high-performance distributed training framework for Reinforcement Learning
481. C Plus PlusCollection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.
482. AirsimOpen source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research
483. VirtualxposedA simple app to use Xposed without root, unlock the bootloader or modify system image, etc.
485. HunterNo description, website, or topics provided.
486. Qr Code GeneratorHigh-quality QR Code generator library in Java, TypeScript/JavaScript, Python, Rust, C++, C.
487. NpcapNmap Project's Windows packet capture and transmission library
488. X360cePrimary repository for the x360ce library, front-end and tools.
489. Hrnet Semantic SegmentationThe OCR approach is rephrased as Segmentation Transformer: https://arxiv.org/abs/1909.11065. This is an official implementation of semantic segmentation for HRNet. https://arxiv.org/abs/1908.07919
490. Taichi mpmHigh-performance moving least squares material point method (MLS-MPM) solver. (ACM Transactions on Graphics, SIGGRAPH 2018)
491. SteemThe blockchain for Smart Media Tokens (SMTs) and decentralized applications.
493. SlingSLING - A natural language frame semantics parser
494. Linke本项目实现了作为一个直播App的基本功能,比如本地视频流采集、播放、美颜、礼物、点赞出心等。提供一个搭建思路,很久没有更新了,望谅解!🤡
496. ZefyrSoft and gentle rich text editing for Flutter applications.
497. FairemailFully featured, open source, privacy friendly email app for Android
498. NatronOpen-source video compositing software. Node-graph based. Similar in functionalities to Adobe After Effects and Nuke by The Foundry.
500. Corretto 8Amazon Corretto 8 is a no-cost, multi-platform, production-ready distribution of OpenJDK 8