MVT (Mobile Verification Toolkit) helps with conducting forensics of mobile devices in order to find signs of a potential compromise.
Find trending repositories by name or description.
MVT (Mobile Verification Toolkit) helps with conducting forensics of mobile devices in order to find signs of a potential compromise.
OCR, layout analysis, reading order, table recognition in 90+ languages
A Go compiler based on LLVM in order to better integrate Go with the C ecosystem including Python and JavaScript
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
Datalog with support for SMT queries and first-order functional programming
The Stan Math Library is a C++ template library for automatic differentiation of any order using forward, reverse, and mixed modes. It includes a range of built-in functions for probabilistic modeling, linear algebra, and equation solving.
Typhoeus wraps libcurl in order to make fast and reliable requests.
higher order dependently typed logic programing
A Python package with bindings to the "Virtual Instrument Software Architecture" VISA library, in order to control measurement devices and test equipment via GPIB, RS232, or USB.
⚡️Optimizing einsum functions in NumPy, Tensorflow, Dask, and more with contraction order optimization.
Free and Open Source Java project which brings together almost all the modern web tools: JsHint, CssLint, JsMin, Google Closure compressor, YUI Compressor, UglifyJs, Dojo Shrinksafe, Css Variables Support, JSON Compression, Less, Sass, CoffeeScript and much more. In the same time, the aim is to keep it as simple as possible and as extensible as possible in order to be easily adapted to application specific needs.
Find descendants of a DOM node that are in the tab order
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
Redux bindings for Firebase. Includes React Hooks and Higher Order Components.
An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more
A plugin pack of order related linting rules for Stylelint.
Kubernetes Virtualization API and runtime in order to define and manage virtual machines.
Draw animated Japanese characters (Kanji and Kana), Korean characters (Hanja) and Chinese characters (Hanzi) in correct stroke order using svg, free open-source code.
ALICE (Automated Learning and Intelligence for Causation and Economics) is a Microsoft Research project aimed at applying Artificial Intelligence concepts to economic decision making. One of its goals is to build a toolkit that combines state-of-the-art machine learning techniques with econometrics in order to bring automation to complex causal inference problems. To date, the ALICE Python SDK (econml) implements orthogonal machine learning algorithms such as the double machine learning work of Chernozhukov et al. This toolkit is designed to measure the causal effect of some treatment variable(s) t on an outcome variable y, controlling for a set of features x.
Chaldea - Yet Another Material Planner and Battle Simulator for Fate/Grand Order aka FGO
A multiplatform higher-order function for retrying operations that may fail.
Hargo is an E-commerce theme powered by Hugo and Snipcart. It's fully functional, users can order items and also payments throw this theme.
Shimo is an adapter for Moshi which randomizes the order of keys when serializing and deserializing
The goal of this project is to implement an application called order-app to manage orders. For it, we will implement a back-end Spring Boot application called order-api and a front-end React application called order-ui. Besides, we will use JWT Authentication to secure both applications.
A Cloud Native Buildpack with an order definition suitable for Java applications
Amplication brings order to the chaos of large-scale software development by creating Golden Paths for developers - streamlined workflows that drive consistency, enable high-quality code practices, simplify onboarding, and accelerate standardized delivery across teams.
flowTorch - a Python library for analysis and reduced-order modeling of fluid flows
Trixi.jl: Adaptive high-order numerical simulations of conservation laws in Julia
Howtrader: A crypto quant framework for developing, backtesting, and executing your own trading strategies. Seamlessly integrates with TradingView and other third-party signals. Simply send a post request to automate trading and order placement. Supports Binance and Okex exchanges.
Alphabetically order GNOME's app grid and folders