Search Results for "typing"
Sort By:
Showing 161 open source projects for "typing"
View related business solutions-
Earn up to 15% annual interest with Nexo.Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
Earn up to 15% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
1
Readme Typing SVG
Dynamically generated, customizable SVG
The readme-typing-svg is a simple and customizable library that allows developers to add typing effect animations to their GitHub readme files. It enables the display of dynamic, eye-catching text in the form of a typing animation, giving GitHub profiles and project readmes a more interactive and engaging appearance. It’s ideal for showcasing projects or adding a personal touch to your GitHub profile. -
2
better-escape.nvim
Map keys without delay when typing
...The problem with these mappings is that whenever you type a j, neovim wait about 100-500ms (depending on your timeoutlen) to see if you type a j or a k because these are mapped. Only after that time, the j will be inserted. Then you always get a delay when typing a j. -
3
Semantix
Non-Pydantic, Non-JSON Schema, efficient AutoPrompting
Semantix empowers developers to infuse meaning into their code through enhanced variable typing (semantic typing). By leveraging the power of large language models (LLMs) behind the scenes, Semantix transforms ordinary functions into intelligent, context-aware operations without explicit LLM calls. -
4
Zephir
Compiled high level language aimed to the creation of C-extensions
Enhance your PHP frameworks/libraries by making them faster. Zephir combines static and dynamic typing in a friendly language that is compiled down to machine code using the industry-standard compilers. Despite being a compiled language, it does not allow you to use pointers, it provides a garbage collector to avoid memory leaks and more. Zephir takes advantage of the extension ecosystem available in PHP to allow you to create your own extensions as shared libraries in Linux/OSX and DLLs on Windows. ... -
JS7 JobScheduler is an open source workload automation solution.JS7 JobScheduler is an open source workload automation solution. It is used to run executable files, shell scripts etc. and database procedures.
-
5
pytype
A static type analyzer for Python code
...Because pytype infers types, it’s useful during gradual typing, surfacing mismatches, missing attributes, or unsafe unions before runtime. Documentation and a user guide detail configuration, supported features, and how inference interacts with modern Python idioms. -
6
type-fest
A collection of essential TypeScript types
type-fest is a TypeScript utility types library that offers a curated, battle-tested suite of type definitions and type transformations that aren’t included in the TypeScript standard library. It provides types like Except, Merge, LiteralUnion, Writable, Promisable, PartialDeep, JsonObject, and many others that solve everyday typing needs in complex TypeScript codebases. Developers pull in just the types they need, which makes code more expressive and safer without reinventing tricky type logic. Because many of the types in type-fest are things “that should have been built-in,” it’s widely adopted across TypeScript projects that need more advanced static typing capabilities. ... -
7
Typed.js
A JavaScript typing animation library
Typed.js is a library that types. Enter in any string, and watch it type at the speed you've set, backspace what it's typed, and begin a new sentence for however many strings you've set. Rather than using the strings array to insert strings, you can place an HTML div on the page and read from it. This allows bots and search engines, as well as users with JavaScript disabled, to see your text on the page. You can pause in the middle of a string for a given amount of time by including an... -
8
Prisma Client Python
Prisma Client Python is an auto-generated and fully type-safe database
...It provides a type-safe, intuitive interface for interacting with databases like PostgreSQL and MySQL. prisma-client-py is ideal for Python developers who want static typing, code completion, and seamless integration with modern backend stacks. -
9
PerfView
PerfView is a CPU and memory performance-analysis tool
PerfView is a free performance analysis tool that helps isolate CPU and memory-related performance issues. It is a Windows tool, but it also has some support for analyzing data collected on Linux machines. It works for a wide variety of scenarios, but has a number of special features for investigating performance issues in code written for the .NET runtime. If you are unfamiliar with PerfView, there are PerfView video tutorials. Also, Vance Morrison's blog gives an overview and getting... -
Run applications fast and securely in a fully managed environmentRun frontend and backend services, batch jobs, deploy websites and applications, and queue processing workloads without the need to manage infrastructure.
-
10
AssemblyScript
A TypeScript-like language for WebAssembly
AssemblyScript is a TypeScript-like programming language specifically designed to compile into WebAssembly, enabling developers to write high-performance code using familiar JavaScript syntax. It introduces static typing and low-level control while maintaining compatibility with existing JavaScript tooling and workflows. The language is optimized for generating efficient and compact WebAssembly modules, making it suitable for performance-critical applications in both browser and server environments. Its design bridges the gap between high-level scripting and low-level execution, allowing developers to achieve near-native performance without switching to languages like C or Rust. ... -
11
GiftedChat
The most complete chat UI for React Native
...Avatar as user's initials. Localized dates. Multi-line TextInput. InputToolbar avoiding keyboard. Redux support. System message. Quick Reply messages (bot). Typying indicatior react-native-typing-animation. If you decide to specify a text prop, GiftedChat will no longer manage its own internal text state and will defer entirely to your prop. This is great for using a tool like Redux, but there's one extra step you'll need to take, simply implement onInputTextChanged to receive typing events and reset events (e.g. to clear the text onSend). ... -
12
pwndbg
Exploit Development and Reverse Engineering with GDB Made Easy
...It provides features crucial for efficient debugging in the world of low-level programming. Vanilla GDB is terrible to use for reverse engineering and exploit development. Typing x/g30x $esp is not fun, and does not confer much information. The year is 2024 and GDB still lacks a real hexdump command! GDB's syntax is arcane and difficult to approach. Windbg users are completely lost when they occasionally need to bump into GDB. -
13
The Ballerina programming language
The Ballerina Programming Language
...Network primitives in the language make it simpler to write services and run them in the cloud. Structural types with support for openness are used both for static typing within a program and for describing service interfaces. Type-safe, declarative processing of JSON, XML, and tabular data with language-integrated queries. Explicit error handling, static types, and concurrency safety, combined with a familiar, readable syntax make programs reliable and maintainable. Easy and efficient concurrency with sequence diagrams and language-managed threads without the complexity of asynchronous functions. ... -
14
Rhai
An embedded scripting language for Rust
Rhai is a lightweight, embedded scripting language and evaluation engine designed specifically for integration into Rust applications, offering a safe and flexible way to add dynamic behavior without sacrificing performance or security. It features a syntax that blends familiarity from JavaScript and Rust, making it approachable for developers while maintaining expressive power through dynamic typing and simple constructs. Rhai is optimized for embedding, allowing developers to expose native Rust functions, types, and data structures directly to scripts, enabling seamless interoperability between compiled and interpreted code. The engine is designed with minimal reliance on unsafe code, prioritizing safety while still delivering efficient execution performance suitable for real-time applications. ... -
15
Air Go
Live reload for Go apps
...Air is yet another live-reloading command line utility for Go applications in development. Just air in your project root directory, leave it alone, and focus on your code. For less typing, you could add alias air='~/.air' to your .bashrc or .zshrc. You can pass arguments for running the built binary by adding them after the air command. -
16
GraphQL for Nest framework
GraphQL (TypeScript) module for Nest framework (node.js)
...For background, we suggest reading this comparison between GraphQL and REST. GraphQL combined with TypeScript helps you develop better type safety with your GraphQL queries, giving you end-to-end typing. In this chapter, we assume a basic understanding of GraphQL, and focus on how to work with the built-in @nestjs/graphql module. The GraphQLModule can be configured to use Apollo server (with the @nestjs/apollo driver) and Mercurius (with the @nestjs/mercurius). We provide official integrations for these proven GraphQL packages to provide a simple way to use GraphQL with Nest. ... -
17
TypeScript
Application-scale JavaScript
TypeScript is an open source programming language that is a typed superset of JavaScript. It adds optional static typing to JavaScript, which can support tools for large-scale JavaScript applications for any browser, host and OS. TypeScript compiles to clean, simple JavaScript, and uses existing JavaScript code and libraries. It also offers support for the latest and evolving JavaScript features, such as async functions and decorators. -
18
Pyre
Performant type-checking for python
Built from the ground up to support gradual typing and deliver responsive incremental checks. Performant on large codebases with millions of lines of Python. Designed to help improve code quality and development speed by flagging type errors interactively in your terminal or live in your favorite editor. Follows the typing standards introduced in PEPs 484, 526, 612, and is being actively developed and constantly improved. -
19
Notepads
A modern, lightweight text editor with a minimalist design
I have been waiting long enough for a modern Windows 10 notepad app to come before I decided to create one myself. Don’t get me wrong, Notepad++, VS Code, and Sublime are great text editors. I have used them all and I will continue to use them in the future. However, they are either too heavy or look less appealing. There are times that I just wanted to use Windows Notepad for things like writing notes or editing config files. So I decided to create a win32 notepad replacement here and try... -
20
UITextView+Placeholder
A missing placeholder for UITextView
UITextView-Placeholder is a simple and lightweight library that adds placeholder support to UITextView in iOS. Since UITextView lacks built-in placeholder functionality, this library provides an easy way to display and manage placeholder text. -
21
Expr
Expression language and expression evaluation for Go
Expr package provides an engine that can compile and evaluate expressions. An expression is a one-liner that returns a value (mostly, but not limited to, booleans). It is designed for simplicity, speed and safety. The purpose of the package is to allow users to use expressions inside configuration for more complex logic. It is a perfect candidate for the foundation of a business rule engine. The idea is to let configure things in a dynamic way without recompile of a program. -
22
Rime ICE
rime-ice is a highly optimized schema for the RIME input method
...Built with modular configuration files and designed for performance, rime-ice provides powerful input suggestions, simplified vocabulary, and flexible customization, catering to users who want a streamlined and practical Chinese typing setup. -
23
Pylint
It's not just a linter that annoys you!
...It checks for errors, enforces a coding standard, looks for code smells, and can make suggestions about how the code could be refactored. Projects that you might want to use alongside pylint include flake8 (faster and simpler checks with very few false positives), mypy, pyright or pyre (typing checks), bandit (security-oriented checks), black and isort (auto-formatting), autoflake (automated removal of unused import or variable), pyupgrade (automated upgrade to newer python syntax) and pydocstringformatter (automated pep257). Pylint isn't smarter than you: it may warn you about things that you have conscientiously done or checks for some things that you don't care about. ... -
24
Chat UI Kit React
Build your own chat UI with React components in few minutes
Build your own chat UI with React components in a few minutes. The Chat UI Kit from Chatscope is an open-source UI toolkit for developing web chat applications. Tired of struggling with sticky scrollbars, content editable, responsiveness, and CSS hacks? This kit is for you. Headless chat library, React hook for state management in chat applications. -
25
koka
Koka language compiler and interpreter
...Each of these is composable and avoid the addition of “special” extensions by being as general as possible. Koka tracks the (side) effects of every function in its type, where pure and effectful computations are distinguished. The precise effect typing gives Koka rock-solid semantics backed by well-studied category theory, which makes Koka particularly easy to reason about for both humans and compilers. Effect handlers let you define advanced control abstractions, like exceptions, async/await, or probabilistic programs, as a user library in a typed and composable way. Perceus is an advanced compilation method for reference counting.
