Search Results for "implicit"
Sort By:
Showing 58 open source projects for "implicit"
View related business solutions-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
Telos
Telos is an open-sourced framework for creating Deep Context
...It encourages capturing a “context file” that outlines mission, goals, problems, strategies, KPIs, and other core components of meaningful work. The project emphasises creating deep context about matters that humans care about, making underlying intentions explicit rather than implicit. It is structured so that you can document your purpose, link it to your strategies and metrics, and thereby maintain clarity and alignment over time. Although lightweight in implementation (for example a .md context file), its ambition is philosophical: helping actors live intentionally and track progress toward purpose. It aligns with broader themes of human flourishing and human-centred frameworks that Miessler discusses in his writing. -
2
MoonScript
A language that compiles to Lua
MoonScript is a dynamic scripting language that compiles into Lua. It gives you the power of one of the fastest scripting languages combined with a rich set of features. MoonScript can either be compiled into Lua and run at a later time, or it can be dynamically compiled and run using the moonloader. It’s as simple as requiring "moonscript" in order to have Lua understand how to load and run any MoonScript file. Because it compiles right into Lua code, it is completely compatible with... -
3
Angular Lib for OpenID Connect & OAuth2
npm package for OpenID Connect, OAuth Code Flow with PKCE
angular-auth-oidc-client is a library that simplifies authentication in Angular applications using OpenID Connect (OIDC) and OAuth2. It provides secure login, token management, and role-based access control, making it easier to integrate modern authentication protocols. -
4
ArduinoJson
JSON library for Arduino and embedded C++. Simple and efficient
...ArduinoJson can produce compact or prettified documents. ArduinoJson works directly with strings stored in program memory. ArduinoJson supports two coding styles, with implicit or explicit casts. ArduinoJson deduplicates strings in the JSON document. When you have several identical keys or values, the JsonDocument only stores one of each. In practice, this feature reduces memory consumption by 20-30%. -
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
5
Scala 3
The Scala 3 compiler, also known as Dotty
Scala 3 is the latest major release of the Scala language—featuring a complete compiler rewrite (Dotty), new syntax with optional braces and given/using contextual abstractions, union/intersection types, opaque types, first-class enums, and better type inference. It unifies object-oriented and functional programming paradigms into a safer, more expressive language running on the JVM with full Java interoperability. -
6
Hexagon
Hexagon is a microservices toolkit written in Kotlin
Hexagon is a microservices toolkit written in Kotlin. Its purpose is to ease the building of server applications (Web applications or APIs) that run inside a cloud platform. The Hexagon Toolkit provides several libraries to build server applications. These libraries provide single standalone features and are referred to as "Ports". -
7
Capstone
Capstone disassembly/disassembler framework
...Having clean/simple/lightweight/intuitive architecture-neutral API. Provide details on disassembled instruction (called “decomposer” by others). Provide semantics of the disassembled instruction, such as list of implicit registers read & written. Implemented in pure C language, with lightweight bindings for D, Clojure, F#, Common Lisp, Visual Basic, PHP, PowerShell, Emacs, Haskell, Perl, Python, Ruby, C#, NodeJS, Java, GO, C++, OCaml, Lua, Rust, Delphi, Free Pascal & Vala (ready either in main code, or provided externally by the community). -
8
Mikro Orm
TypeScript ORM for Node.js based on Data Mapper, Unit of Work
TypeScript ORM for Node.js based on Data Mapper, Unit of Work and Identity Map patterns. MikroORM allows handling transactions automatically. When you call em.flush(), all computed changes are wrapped inside a database transaction. Uses source code analysis so you do not have to repeat yourself when defining entities. Simply define correct TypeScript types and you are good to go! Supports MongoDB, MySQL, MariaDB, PostgreSQL and SQLite databases, and more can be supported via custom drivers... -
9
CCXT
JavaScript/TypeScript/Python/C#/PHP cryptocurrency trading API
The ccxt library is a collection of available crypto exchanges or exchange classes. Each class implements the public and private API for a particular crypto exchange. All exchanges are derived from the base Exchange class and share a set of common methods. To access a particular exchange from ccxt library you need to create an instance of corresponding exchange class. Supported exchanges are updated frequently and new exchanges are added regularly. -
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
10
CasADi
CasADi is a symbolic framework for numeric optimization
...These expression graphs, encapsulated in Function objects, can be evaluated in a virtual machine or exported to stand-alone C code. Initial value problems in ordinary or differential-algebraic equations (ODE/DAE) can be calculated using explicit or implicit Runge-Kutta methods or interfaces to IDAS/CVODES from the SUNDIALS suite. Derivatives are calculated using sensitivity equations, up to arbitrary order. -
11
AWS X-Ray SDK for Python
AWS X-Ray SDK for the Python programming language
AWS X-Ray SDK for the Python programming language. The AWS X-Ray SDK for Python is compatible with Python 2.7, 3.4, 3.5, 3.6, 3.7, 3.8, and 3.9. X-Ray Python SDK will by default generate no-op trace and entity id for unsampled requests and secure random trace and entity id for sampled requests. If customer wants to enable generating secure random trace and entity id for all the (sampled/unsampled) requests (this is applicable for trace id injection into logs use case) then they should set... -
12
graphql_client
Typed, correct GraphQL requests and responses in Rust
...Supports setting GraphQL fields as deprecated and having the Rust compiler check their use. Optional reqwest-based client for boilerplate-free API calls from browsers. Implicit and explicit null support. -
13
XTDB
General-purpose bitemporal database for SQL, Datalog & graph queries
...It is the interconnection of facts that makes them valuable. Query the relational model with SQL and the graph model with Datalog, over the same data. Explore all your data. Across all implicit relationships, across all time. As a document-oriented database, XTDB makes your data immediately available without the need for an upfront schema. Both structured and unstructured data are at home in XTDB. Legal regulations like GDPR often pose a challenge when designing systems around immutable data. -
14
Vouch
A community trust management system based on explicit vouches
Vouch is an open-source community trust management system that introduces an explicit vouching model to govern who is allowed to contribute to a project’s critical interactions, such as opening issues or submitting pull requests. Traditional open source has relied on implicit trust earned through effort, but the advent of AI-generated low-quality contributions has made maintainers seek more intentional vetting processes. With Vouch, existing trusted contributors explicitly “vouch” for new community members before they can participate in selected parts of the project, and they can also “denounce” users to block them should they act in bad faith. ... -
15
fosite
Extensible security first OAuth 2.0 and OpenID Connect SDK for Go
...This library implements peer-reviewed IETF RFC6749, counterfeits weaknesses covered in peer-reviewed IETF RFC6819 and countermeasures various database attack scenarios, keeping your application safe when that hacker penetrates or leaks your database. OpenID Connect is implemented according to OpenID Connect Core 1.0 incorporating errata set 1 and includes all flows: code, implicit, and hybrid. OAuth2 and OpenID Connect are difficult protocols. If you want quick wins, we strongly encourage you to look at Hydra. Hydra is a secure, high-performance, cloud native OAuth2 and OpenID Connect service that integrates with every authentication method imaginable and is built on top of Fosite. -
16
AVA
Node.js test runner that lets you develop with confidence
AVA is a test runner for Node.js that’s minimal and fast, and lets you develop with confidence. AVA is equipped with a concise API, detailed error output, process isolation and many other great features that set it apart from others. It is able to run tests concurrently, enforces the writing of atomic tests and includes TypeScript definitions. One of the key features it has is Magic Assert, wherein only certain values are displayed and highlighted for better viewing and easier comparison. It... -
17
PLT (Programming Languages Theory)
Programming Language Theory
Curated roadmap to Programming Language Theory, collecting seminal papers, books, and resources into a navigable structure for self-study. It spans foundational topics like lambda calculus, type systems, interpreters, compilers, and formal semantics, while also pointing to contemporary areas such as effect systems, dependent types, and verification. Each section clusters materials by theme so learners can build understanding step by step instead of grazing at random. The list emphasizes... -
18
Runeset
Fast UTF-8 codepoint sets for Zig
This library offers a compact data structure for "generalized"1 UTF-8 encoded codepoints. The design is based on an implicit data structure2, which uses @popCount and bit masking to check membership quickly, with minimal branching, and without having to decode the UTF-8 into another format (for instance, a codepoint). This design is original, in the sense that I invented it. There may be prior art, it's remarkably difficult to search for "UTF-8 character sets" and find papers on set data structures, so I can't say with high confidence that it's truly novel; in a sense, it's an obvious extension of the widespread practice of using a pair of u64 bitmasks to detect a set of ASCII values. ... -
19
Selenium-python Helium
Selenium-python but lighter: Helium is the best Python library
Under the hood, Helium forwards each call to Selenium. The difference is that Helium's API is much more high-level. In Selenium, you need to use HTML IDs, XPaths and CSS selectors to identify web page elements. Helium on the other hand lets you refer to elements by user-visible labels. As a result, Helium scripts are typically 30-50% shorter than similar Selenium scripts. What's more, they are easier to read and more stable with respect to changes in the underlying web page. Selenium-python... -
20
Percollate
A command-line tool to turn web pages into beautiful, readable PDF
...Additional CSS styles you can pass from the command line to override styles specified by the default/custom stylesheet. Generate a hyperlinked table of contents. The option is implicitly enabled when bundling more than one web page to a single file. Disable this implicit behavior by passing the --no-to flag. The idea with percollate is to make PDFs that can be printed without losing where the hyperlinks point to. However, for some link-heavy pages, the appended hrefs can become bothersome. -
21
SwiftFormat
A command-line tool and Xcode Extension for formatting Swift code
SwiftFormat is a code library and command-line tool for reformatting Swift code on macOS or Linux. SwiftFormat goes above and beyond what you might expect from a code formatter. In addition to adjusting white space, it can insert or remove implicit self, remove redundant parentheses, and correct many other deviations from the standard Swift idioms. Many programmers have a preferred style for formatting their code, and others seem entirely blind to the existing formatting conventions of a project. When collaborating on a project, it can be helpful to agree on a common coding style, but enforcing that manually is tedious and error-prone, and can lead to arguments if some participants take it more seriously than others. ... -
22
Candid PDF Table
CandidPDFTable – Deterministic TCPDF Table Builder
...CandidPDFTable solves this by adopting a cell-centric model where each cell independently owns its borders and styles. It supports colspan-aware addressing, avoids implicit or shared borders, computes widths and layout only at render time, and ensures fully deterministic and predictable behavior. Requirements: PHP 7.4 or higher and TCPDF available at runtime. Installation: composer require hadleen/candid-pdf-table Render Lifecycle: Layout is resolved only during render. -
23
DAE Tools Project
Object-oriented equation-based modelling and optimisation software
...It is not a modelling language nor a collection of numerical libraries but rather a higher level structure – an architectural design of interdependent software components providing an API for: - Model development/specification - Activities on developed models, such as simulation, optimisation, sensitivity analysis and parameter estimation - Processing of the results, such as plotting and exporting to various file formats - Report generation - Code generation, co-simulation and model exchange The following class of problems can be solved by DAE Tools: - Initial value problems of implicit form - Index-1 DAE systems - With lumped or distributed parameters - Steady-state or dynamic - Continuous with some elements of event-driven systems -
24
clavirio
Learn touch typing without leaving the terminal
...Progressive lessons, practice modes, real-time stats, and a virtual keyboard with finger hints — for QWERTY, Dvorak, and Colemak. Methodology Research on typing skill suggests that skilled typing relies more on implicit procedural control than on explicit knowledge of key locations. The paper also suggests that the keyboard is represented in terms of its row-and-column structure, not as a memorized list of individual letters. Clavirio follows that idea by teaching the keyboard row by row with the same 7-lesson progression for each row: index pair → middle pair → ring pair → pinky pair → reach pair → full row → row + Shift Each lesson introduces only 2 new keys and uses only characters from earlier lessons. ... -
25
Jester
A sinatra-like web framework for Nim
...In this case you might want to make the leading '/' optional too, you can do this by changing the pattern to "/hello/?@name?". This is useful because Jester will not match "/hello" if the leading '/' is not made optional. Route bodies all have an implicit request object. This object is documented in jester.nim and documentation can be generated by executing nim doc jester.nim. It is possible not to use the routes macro and to do the routing yourself. You can do this by writing your own match procedure. Take a look at example2 for an example on how to do this.
