Search Results for "typed" - Page 4
Sort By:
Showing 401 open source projects for "typed"
View related business solutions-
Our Free Plans just got better! | Auth0 by OktaYou asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your secuirty. Auth0 now, thank yourself later.
-
Bright Data - All in One Platform for Proxies and Web ScrapingBright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
-
1
Dapper
A simple object mapper for .Net
Dapper is an open-source object-relational mapping (ORM) library for .NET and .NET Core applications. The library allows developers quickly and easily access data from databases without the need to write tedious code. Dapper allows you to execute raw SQL queries, map the results to objects, and execute stored procedures, among other things. It is available as a NuGet package. Dapper is lightweight and fast, making it an ideal choice for applications that require low latency and high... -
2
Ravi Programming Language
Ravi is a dialect of Lua, featuring limited optional static typing
... are also valid Ravi programs. There are other attempts to add static typing to Lua (e.g. Typed Lua but these efforts are mostly about adding static type checks in the language while leaving the VM unmodified. So the static typing is to aid programming in the large - the code is eventually translated to standard Lua and executed in the unmodified Lua VM. -
3
GitHub Workflows Kt
Authoring GitHub Actions workflows in Kotlin
GitHub-workflows-kt is a tool for creating GitHub Actions workflows in a type-safe script, helping you to build robust workflows for your GitHub projects without mistakes, with pleasure, in Kotlin. We're often surrounded by YAML configuration. It's a powerful format that provides a simple syntax for defining hierarchical data, but it is sometimes used (abused?) to configure complicated scenarios which lead to complicated files that are difficult to write and maintain. Who among us hasn't... -
4
py2many
Transpiler of Python to many other languages
Python is popular, and easy to program in, but it has poor runtime performance. We can fix that by transpiring a subset of the language into a more performant, statically typed language. A second benefit is security. Writing security-sensitive code in a low-level language like C is error-prone and could lead to privilege escalation. Specialized languages such as wuffs exist to address this use case. py2many can be a more general-purpose solution to the problem where you can verify the source... -
Innovate faster with enterprise-ready generative AI—enhanced by GeminiVertex AI offers everything you need to build and use generative AI—from AI solutions, to Search and Conversation, to 130+ foundation models, to a unified AI platform.
-
5
Bayesian Julia
Bayesian Statistics using Julia and Turing
Bayesian statistics is an approach to inferential statistics based on Bayes' theorem, where available knowledge about parameters in a statistical model is updated with the information in observed data. The background knowledge is expressed as a prior distribution and combined with observational data in the form of a likelihood function to determine the posterior distribution. The posterior can also be used for making predictions about future events. Bayesian statistics is a departure from... -
6
Murex
A smarter shell and scripting environment with advanced features
Murex is a shell, like bash / zsh / fish / etc however Murex supports improved features and an enhanced UX. Support for additional type information in pipelines, which can be used for complex data formats like JSON or tables. Meaning all of your existing UNIX tools to work more intelligently and without any additional configuration. Usability improvements such as in-line spell checking, context-sensitive hint text that details the behavior of a command before you hit return, and auto-parsing... -
7
HASH
The best way to use and work with blocks
This is HASH's public monorepo which contains our public code, docs, and other key resources. HASH is a platform for decision-making, which helps you integrate, understand and use data in a variety of different ways. HASH does this by combining various different powerful tools together into one simple interface. These range from data pipelines and a graph database, through to an all-in-one workspace, no-code tool builder, and agent-based simulation engine. These exist at varying stages of... -
8
Proton for iOS
Purely native and extensible rich text editor for iOS and macOS
... to be used as a UITextView and in most complex form, it should be able to provide rich text editing capabilities which are beyond just text formatting. Should be extensible to support adding any view as content in the Editor such that it flows with the text. Resizing of content views should automatically resize the containing Editor and support this to nth nesting level. Should support extending the appearance of text as the content is typed. -
9
elastic4s
Elasticsearch Scala Client - Reactive, Non Blocking, Type Safe, HTTP
... to easily integrate into an asynchronous workflow. The aim of the DSL is that requests are written in a builder-like way, while staying broadly similar to the Java API or Rest API. Each request is an immutable object, so you can create requests and safely reuse them, or further copy them for derived requests. Because each request is strongly typed your IDE or editor can use the type information to show you what operations are available for any request type. -
Event Management SoftwareYesEvents offers a comprehensive suite of services that spans the entire conference lifecycle and ensures every detail is executed with precision. Our commitment to exceptional customer service extends beyond conventional boundaries, consistently exceeding expectations and enriching both organizer and attendee experiences.
-
10
rehype
HTML processor powered by plugins part of the @unifiedjs collective
rehype is a tool that transforms HTML with plugins. These plugins can inspect and change the HTML. You can use rehype on the server, the client, CLIs, deno, etc. rehype is an ecosystem of plugins that work with HTML as structured data, specifically ASTs (abstract syntax trees). ASTs make it easy for programs to deal with HTML. We call those programs plugins. Plugins inspect and change trees. You can use the many existing plugins or you can make your own. You can use rehype for many different... -
11
Soufflé
Datalog variant for tool designers crafting analyses in Horn clauses
... techniques (PLDI'21) Specialized data structure for relations (PACT'19, PPoPP'19, PMAM'19) with optimal index selection (VLDB'18) Extended semantics of Datalog, e.g., permitting unbounded recursions with numbers and terms. Simple component model for Datalog specifications. Recursively defined record types/ADTs (aka. constructors) for tuples. User-defined functors. Strongly-typed types for safety. Subsumption, aggregation, Choice Construct (APLAS'21). -
12
GraphQL SPQR
Build a GraphQL service in seconds
..., in strongly and statically typed languages, like Java, it leads to a lot of duplication. Both of these blocks contain the exact same information. Worse yet, changing one requires an immediate change to the other. This makes refactoring risky and cumbersome, and the compiler can not help. On the other hand, if you’re trying to introduce a GraphQL API into an existing project, writing the schema practically means re-describing the entire existing model. -
13
Apollo iOS
A strongly-typed, caching GraphQL client for iOS, written in Swift
It allows you to execute queries and mutations against a GraphQL server, and returns results as query-specific Swift types. This means you don’t have to deal with parsing JSON, or passing around dictionaries and making clients cast values to the right type manually. You also don't have to write model types yourself, because these are generated from the GraphQL definitions your UI uses. As the generated types are query-specific, you're only able to access data you actually specify as part of... -
14
GraphQL Java
GraphQL Java implementation
GraphQL Java implementation. It requires a little Spring and Java knowledge. GraphQL is a query language to retrieve data from a server. It is an alternative to REST, SOAP or gRPC. One very important property of GraphQL is that it is statically typed: the server knows exactly the shape of every object you can query and any client can actually "introspect" the server and ask for the "schema". The schema describes what queries are possible and what fields you can get back. (Note: when we refer... -
15
OctoSQL
Join, analyse and transform data from multiple databases
OctoSQL is predominantly a CLI tool which lets you query a plethora of databases and file formats using SQL through a unified interface, even do JOINs between them. (Ever needed to join a JSON file with a PostgreSQL table? OctoSQL can help you with that.) OctoSQL is a query tool that allows you to join, analyse and transform data from multiple databases and file formats using SQL. At the same time it's an easily extensible full-blown dataflow engine, and you can use it to add a SQL interface... -
16
concretecms
Repository for Concrete CMS development
Do you want a CMS that both developers and editors love? You will spend less time building, managing extensions, and training clients with Concrete CMS. Your clients know how to use a word processor without any training. Would you like their website editing experience to be just as simple? Concrete CMS was designed as an extendable platform for building beautiful websites clients love to manage on their own. The core has lots of built-in features, so you’re not forced to use an ecosystem of... -
17
wagmi
React Hooks for Ethereum
wagmi is a collection of React Hooks containing everything you need to start working with Ethereum. wagmi makes it easy to "Connect Wallet," display ENS and balance information, sign messages, interact with contracts, and much more, all with caching, request deduplication, and persistence. We create a wagmi Client and pass it to the WagmiConfig React Context. The client is set up to use the ethers Default Provider and automatically connect to previously connected wallets. Next, we use the... -
18
ASP.NET Minimal APIs Made Easy
A light-weight REST API development framework for ASP.Net 6
... notifications (with auto discovery). Declarative security policy building (within each endpoint). Easy Server-Sent-Events for real-time data streaming. Supports any IOC container compatible with ASP.NET. Convenient integration testing (route-less & strongly-typed). Constructor & property injection of endpoint dependencies. Built-in uncaught exception handler. Easy model binding from route/query/json body/claims/forms/headers. Supports swagger/serilog/etc. -
19
pep484 stubs for Django
PEP-484 stubs for Django
This package contains type stubs and a custom mypy plugin to provide more precise static types and type inference for Django framework. Django uses some Python "magic" that makes having precise types for some code patterns problematic. This is why we need this project. The final goal is to be able to get precise types for the most common patterns. We are independent from Django at the moment. There's a proposal to merge our project into the Django itself. You can show your support by liking... -
20
Reliese Laravel Model Generator
Reliese Laravel Model Generator
Reliese Laravel Model Generator aims to speed up the development process of Laravel applications by providing some convenient code-generation capabilities. The tool inspects your database structure, including column names and foreign keys, in order to automatically generate Models that have correctly typed properties, along with any relationships to other Models. This package expects that you are using Laravel 5.1 or above. You will need to import the reliese/laravel package via composer... -
21
Kysely
A type-safe typescript SQL query builder
... of modern typescript, Kysely is even able to parse the alias given to pet.name and add the pet_name column to the result row type. Kysely is able to infer column names, aliases and types from selected subqueries, joined subqueries, with statements and pretty much anything you can think of. Of course there are cases where things cannot be typed at compile time, and Kysely offers escape hatches for these situations. -
22
IndraDB
A graph database written in rust
A graph database written in rust. IndraDB consists of a server and an underlying library. Most users would use the server, which is available via releases as pre-compiled binaries. But if you're a rust developer that wants to embed a graph database directly in your application, you can use the library. IndraDB's original design is heavily inspired by TAO, facebook's graph datastore. In particular, IndraDB emphasizes simplicity of implementation and query semantics, and is similarly designed... -
23
DenoDB
MySQL, SQLite, MariaDB, PostgreSQL and MongoDB ORM for Deno
Supports PostgreSQL, MySQL, MariaDB, SQLite and MongoDB. Setting up your database with DenoDB is a four-step process. Create models, extending Model. table and fields are both required static attributes. Link your models, to add them to your database instance. Optional, create tables in your database, by using sync. Query your models! Using Mongo means adapting your models to its standards, one being the use of _id for identifying records. The only change on your side is to add an _id field... -
24
chimp
Tooling that helps you do quality, faster
Your Apollo GraphQL development companion for doing quality, faster. Chimp helps you write high-quality code from the get-go. No more putting tests and quality as an after-thought. Quality first, speed for free. Boilerplate is time-consuming, error-prone and boring! Chimp reduces that through its various generators and smart defaults. Modularity leads to maintainable and testable code, and this is a key feature of all Chimp's domain-driven and data-driven generators. Chimp encourages a... -
25
MIR
A lightweight JIT compiler based on MIR
MIR means Medium Internal Representation. MIR project goal is to provide a basis to implement fast and lightweight interpreters and JITs. Plans to try MIR light-weight JIT first for CRuby or/and MRuby implementation. Each module can contain functions and declarations and data. Each function has a signature (parameters and return types), local variables (including function arguments) and instructions. Each local variable has a type which can be only a 64-bit integer, float, double, or long...