Search Results for "basic-miktex-2.9.6" - Page 7
Sort By:
Showing 1330 open source projects for "basic-miktex-2.9.6"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Earn up to 16% annual interest with Nexo.Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
1
leetcode-editor
Do Leetcode exercises in IDE
Do Leetcode exercises in IDE, support leetcode.com and leetcode-cn.com, to meet the basic needs of doing exercises.Support theoretically: IntelliJ IDEA PhpStorm WebStorm PyCharm RubyMine AppCode CLion GoLand DataGrip Rider MPS Android Studio. The login accounts of the two websites are not interoperable and the corresponding users need to be configured when switching websites. You can also refresh and load questions if you are not logged in, but you cannot submit it. -
2
Seata
An easy-to-use, high-performance distributed transaction solution
Seata, or Simple Extensible Autonomous Transaction Architecture is an open source distributed transaction solution that brings high performance and easy-to-use distributed transaction services under a microservices architecture. It has 3 basic components: a Transaction Coordinator for maintaining the status of global and branch transactions; a Transaction Manager that defines the scope of global transaction; and a Resource Manager that manages resources being worked on by branch transactions, and drives branch transaction commit or rollback. Seata has played a pivotal role of distributed consistency Middleware in Ali economy, and has provided strong support for businesses of all departments. ... -
3
miniaudio
Audio playback and capture library written in C,
miniaudio is written in C with no dependencies except the standard library and should compile cleanly on all major compilers without the need to install any additional development packages. All major desktop and mobile platforms are supported. miniaudio gives you complete flexibility. With the low-level API, just initialize a connection to the device and send or receive raw audio data. The modular design of miniaudio allows you to use the low-level API without compromising your ability to... -
4
RestSharp
Simple REST and HTTP API Client for .NET
RestSharp is probably the most popular HTTP client library for .NET. Featuring automatic serialization and deserialization, request and response type detection, variety of authentications and other useful features, it is being used by hundreds of thousands of projects. RestSharp passed over 32 million downloads on NuGet, with average daily download count of 10,000. It's being used by many popular OSS projects, including Roslyn and Swagger. The main purpose of RestSharp is to make synchronous... -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
5
Claude Cookbooks
A collection of notebooks/recipes showcasing ways of using Claude
...It serves as both a learning resource and a reference library, helping developers understand how to apply AI capabilities such as classification, summarization, and retrieval-augmented generation in real-world scenarios. The repository includes structured examples for integrating Claude with external tools, databases, and APIs, showcasing how to extend its functionality beyond basic text generation. It also covers advanced techniques like sub-agent orchestration, prompt optimization, and automated evaluation workflows. The content is organized into thematic sections, allowing users to explore specific capabilities or integration patterns systematically. Designed with accessibility in mind, the examples are primarily written in Python but can be adapted to other languages. -
6
linux-wasm
WebAssembly (Wasm) arch support for the Linux kernel
...The system includes essential userland tools provided by BusyBox along with a lightweight libc implementation, making it possible to interact with a shell and execute basic commands in-browser. A terminal interface is implemented using web technologies, allowing users to experience a functioning Linux system through a standard web page. The project includes scripts to build and run the environment either locally, in containers, or directly in the browser, demonstrating flexibility in development workflows. -
7
Transit Format
A data interchange format
...It builds on top of JSON and MessagePack (where possible) to reuse their performance and parsing infrastructure, but adds a tagging/extension mechanism to support types not natively representable (e.g., dates, sets). Transit provides a set of basic elements and a set of extension elements for representing typed values. The extension mechanism is open, allowing programs using Transit to add new elements specific to their needs. Users of data formats without such facilities must rely on either schemas, conventions, or context to convey elements not included in the base set, making application code much more complex. -
8
Swift Cross UI
A cross-platform declarative UI framework, inspired by SwiftUI
SwiftCrossUI implements a simple API similar but not identical to SwiftUI, allowing you to use the basic concepts of SwiftUI to create a cross-platform desktop app. SwiftCrossUI is designed to be flexible and can work with different backends, but has a focus on using GTK+ through SwiftGTK. Create cross-platform desktop apps for macOS, Linux and Windows. Work has been started to support multiple different backends. Switching backends only requires changing a single line of code! ... -
9
lua-resty-openidc
OpenID Connect Relying Party and OAuth 2.0 Resource Server
lua-resty-openidc is a library for NGINX implementing the OpenID Connect Relying Party (RP) and/or the OAuth 2.0 Resource Server (RS) functionality. When used as an OpenID Connect Relying Party it authenticates users against an OpenID Connect Provider using OpenID Connect Discovery and the Basic Client Profile (i.e. the Authorization Code flow). When used as an OAuth 2.0 Resource Server it can validate OAuth 2.0 Bearer Access Tokens against an Authorization Server or, in case a JSON Web Token is used for an Access Token, verification can happen against a pre-configured secret/key. It maintains sessions for authenticated users by leveraging lua-resty-session thus offering a configurable choice between storing the session state in a client-side browser cookie or use in of the server-side storage mechanisms shared-memory|memcache|redis. -
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
10
Deckhouse
Kubernetes platform from Flant
...Deckhouse automates many routine deployment, scaling, and infrastructure management operations out of the box. It manages system software on the nodes (kernel, CRI, kubelet), basic Kubernetes components (control plane, etc, certificates, etc.). -
11
Mill
Your shiny new Java/Scala build tool
Your shiny new Scala build tool! Confused by SBT? Frustrated by Maven? Perplexed by Gradle? Give Mill a try. In-process tests live in the .test sub-modules of the various Mill modules. These range from tiny unit tests, to larger integration tests that instantiate a TestUtil.BaseModule in-process and a TestEvaluator to evaluate tasks on it. Note that the in-memory tests compile the BaseModule together with the test suite, and do not exercise the Mill script-file bootstrapping, transformation,... -
12
Takes
True object-oriented Java web framework without NULLs
...Essential part of Bigger Example is Front interface. It's encapsulates server's back-end and used to start an instance, which will accept requests and return results. FtBasic, which is a basic front, implements that interface. -
13
ciao
HTTP checks & tests (private & public) monitoring
HTTP checks & tests (private & public) monitoring - check the status of your URL. ciao checks HTTP(S) URL endpoints for a HTTP status code (or errors on the lower TCP stack) and sends a notification on status change via E-Mail or Webhooks. It uses Cron syntax to schedule the checks and comes along with a Web UI and a RESTful JSON API. Create an open-source web application for checking URL statuses with a UI and a REST API which is easy to install and maintain (no external dependencies like... -
14
graphql-compose
Toolkit for generating complex GraphQL Schemas on Node.js
Toolkit for generating complex GraphQL schemas in Node.js. Provides a type registry with a bunch of methods for programmatic schema construction. It allows not only to extend types but also remove fields, interfaces, args. If you want to write your graphql schema generator – graphql-compose is a good instrument for you. Provides methods for editing GraphQL output/input types (add/remove fields/args/interfaces) Introduces Resolver's – the named graphql fieldConfigs, which can be used for... -
15
Shiori
Simple bookmark manager built with Go
...You can use it as a command line application or as a web application. This application is distributed as a single binary, which means it can be installed and used easily. Basic bookmarks management i.e. add, edit, delete and search. Import and export bookmarks from and to Netscape Bookmark file. Import bookmarks from Pocket. Simple and clean command line interface. Simple and pretty web interface for those who don't want to use a command line app. Portable, thanks to its single binary format. Support for sqlite3, PostgreSQL and MySQL as its database. ... -
16
ReNative
Unified Development Platform for iOS, tvOS, Android, Android TV
...ReNative supports integrations for various services and deployment infrastructures for your apps. Tired of setting up and managing countless various projects? you can go as simple as a most basic JSON config file to get yourself up and running. Sometimes you need to extend CLI functionality with custom build scripts. ReNative makes this easy for you. ReNative runtime is an NPM dependency to help abstract away some of the complexities of building UI interfaces and features for a large number of target platforms and devices. -
17
Sandpack
A component toolkit for creating live-running code editing experiences
Sandpack is a component toolkit for creating your own live running code editing experience powered by CodeSandbox. Sandpack uses CodeMirror under the hood, giving you all the basic capabilities of a code editor and syntax highlight. However, if you want to use your own editor framework, you can add that as a component too! Sandpack embeds the browser bundler that powers CodeSandbox and takes advantage of features like npm dependency support, hot module reloading, error overlaying, and caching. With Sandpack, you're always one click away from opening your code snippet in CodeSandbox. ... -
18
zvt
Modular quant framework
For practical trading, a complex algorithm is fragile, a complex algorithm building on a complex facility is more fragile, complex algorithm building on a complex facility by a complex team is more and more fragile. zvt wants to provide a simple facility for building a straightforward algorithm. Technologies come and technologies go, but market insight is forever. Your world is built by core concepts inside you, so it’s you. zvt world is built by core concepts inside the market, so it’s zvt.... -
19
DevSec Hardening
This Ansible collection provides battle tested hardening
Hardening adds a layer into your automation framework, that configures your operating systems and services. It takes care of difficult settings, compliance guidelines, cryptography recommendations, and secure defaults. Running secure infrastructure is a difficult task. Although server hardening is a well-known topic with many guides out in the wild, it is still very cumbersome to apply and verify secure configuration. If you manage many server, they need to be configured properly and... -
20
go-restful
Package for building REST-style Web Services using Go
package for building REST-style Web Services using Google Go. REST asks developers to use HTTP methods explicitly and in a way that's consistent with the protocol definition. This basic REST design principle establishes a one-to-one mapping between create, read, update, and delete (CRUD) operations and HTTP methods. Customizable encoding using EntityReaderWriter registration. Filters for intercepting the request-response flow on Service or Route level. Request-scoped variables using attributes. Route errors produce HTTP 404/405/406/415 errors, customizable using ServiceErrorHandler(...). ... -
21
Foundation
Provides core utilities, internationalization, and OS independence
The Foundation framework defines a base layer of functionality that is required for almost all applications. It provides primitive classes and introduces several paradigms that define functionality not provided by either the Objective-C runtime and language or Swift standard library and language. This project, swift-corelibs-foundation, provides an implementation of the Foundation API for platforms where there is no Objective-C runtime. On macOS, iOS, and other Apple platforms, apps should... -
22
Kong
The Cloud-Native API Gateway
Kong is a next generation cloud-native API platform for multi-cloud and hybrid organizations. When building for the web, mobile, or Internet of Things, you’ll need a common functionality to run your software, and Kong is that solution. Kong acts as a gateway, connecting microservices requests and APIs natively while also providing load balancing, logging, monitoring, authentication, rate-limiting, and so much more through plugins. Kong is highly extensible as well as platform agnostic,... -
23
type-challenges
Collection of TypeScript type challenges with online judge
type-challenges is a massive set of TypeScript type-level puzzles that turn the compiler into a playground for metaprogramming. Each challenge is a miniature kata where you implement types that transform other types—parsing strings, inferring tuples, mapping unions—without writing any runtime code. Problems are arranged from warm-ups to brain-twisters, letting developers build intuition about distributive conditional types, inference in extends, variance, and other corner cases of the type... -
24
SwissGL
SwissGL is a minimalistic wrapper on top of WebGL2 JS API
...The library centers around one main function that unifies rendering and compute operations, allowing the creation of particle systems, GPGPU effects, and real-time simulations entirely on the GPU. Despite its simplicity and small size (under 1000 lines of code), SwissGL demonstrates remarkable flexibility, from basic visual experiments to complex multi-pass rendering pipelines. It’s also designed as an exploration of minimalist graphics API design, serving as an early experimental step toward the upcoming WebGPU era. -
25
Flutter Wonderous App
A showcase app for the Flutter SDK
...From a technical standpoint, it demonstrates advanced layout techniques, gesture handling, and integration of complex visual assets in Flutter. It is part of Flutter’s official examples, intended to inspire developers and designers about what’s possible beyond basic apps.
