Search Results for "python programming language" - Page 4
Sort By:
Showing 3032 open source projects for "python programming language"
View related business solutions-
Grafana: The open and composable observability platformGrafana is the open source analytics & monitoring solution for every database.
-
Keep company data safe with Chrome EnterpriseMake AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.
-
1
Flix
The Flix Programming Language
Flix is a statically typed programming language combining functional, imperative, and logic paradigms, with first‑class Datalog constraints and a polymorphic effect system. Designed to run on the JVM, Flix enforces purity tracking at compile time, supports algebraic data types, tail‑call elimination, and allows entire Datalog programs as values. -
2
golang101
Programming explanation and instruction book focusing on Go syntax
A programming explanation and instruction book focusing on Go language syntax and semantics. A Go programming knowledge base that keeps pace with the times. Go 101 is a series of books about programming in Go. The current series includes "Go Language (Basic Knowledge) 101" is a programming guide book ( e-book download ) that focuses on Go syntax and semantics (except custom generics) and runtime-related knowledge points. -
3
RustPython
A Python Interpreter written in Rust
RustPython is an implementation of the Python programming language written in Rust. Its goal is to provide a fast, embeddable, and secure interpreter that can be integrated into Rust applications or used standalone. Because it’s in Rust, it benefits from memory safety and modern tooling, allowing developers to compile Python into efficient binaries or embed it as a scripting engine in Rust projects. -
4
Qdrant
Vector Database for the next generation of AI applications
...With Qdrant, embeddings or neural network encoders can be turned into full-fledged applications for matching, searching, recommending, and much more! Provides the OpenAPI v3 specification to generate a client library in almost any programming language. Alternatively, utilize ready-made client for Python or other programming languages with additional functionality. Implement a unique custom modification of the HNSW algorithm for the Approximate Nearest Neighbor Search. Search with a State-of-the-Art speed and apply search filters without compromising on results. Support additional payload associated with vectors. ... -
DAT Freight and Analytics - DATDAT Freight & Analytics operates DAT One, North America’s largest truckload freight marketplace; DAT iQ, the industry’s leading freight data analytics service; and Trucker Tools, the leader in load visibility. Shippers, transportation brokers, carriers, news organizations, and industry analysts rely on DAT for market trends and data insights, informed by nearly 700,000 daily load posts and a database exceeding $1 trillion in freight market transactions. Founded in 1978, DAT is a business unit of Roper Technologies (Nasdaq: ROP), a constituent of the Nasdaq 100, S&P 500, and Fortune 1000. Headquartered in Beaverton, Ore., DAT continues to set the standard for innovation in the trucking and logistics industry.
-
5
CodeGeeX
CodeGeeX: An Open Multilingual Code Generation Model (KDD 2023)
CodeGeeX is a large-scale multilingual code generation model with 13 billion parameters, trained on 850B tokens across more than 20 programming languages. Developed with MindSpore and later made PyTorch-compatible, it is capable of multilingual code generation, cross-lingual code translation, code completion, summarization, and explanation. It has been benchmarked on HumanEval-X, a multilingual program synthesis benchmark introduced alongside the model, and achieves state-of-the-art... -
6
Dasar Pemrograman Golang
Source Code E-book Dasar Pemrograman Golang
Goal, or Go is a programming language that was born in 2009. The goal has many advantages, as evidenced by a large number of large companies using this language in the development of their products, up to the level of production of course. This ebook is one of the many references that can be used as learning material for Go programming. The topics provided vary greatly from basic ( from 0), to adventurous chapters. -
7
Milvus Bootcamp
Dealing with all unstructured data, such as reverse image search
Milvus Bootcamp is a collection of tutorials, examples, and best practices for using Milvus, an open-source vector database designed for AI-powered similarity search and retrieval applications. -
8
Mecha
A parser combinator library for Zig
A parser combinator library for the Zig programming language. Time to make your own parser mech. -
9
Allure Report
Flexible, lightweight multi-language test reporting tool
...Allure Report is capable to build unified reports for dozens of testing tools across eleven programming languages on several CI/CD systems. -
D&B Hoovers is Your Sales AcceleratorSpeed up sales prospecting with the rich audience targeting capabilities of D&B Hoovers so you can spend more sales time closing.
-
10
Agda
Agda is a dependently typed programming language
Agda is a dependently typed, total functional programming language and interactive theorem prover based on Martin-Löf’s type theory. It allows expressing programs and proofs in the same language, using the Curry–Howard correspondence. It features interactive development via Emacs, Atom, or VS Code. Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. ... -
11
Blockly
The web-based visual programming editor
...From a user's perspective, Blockly is an intuitive, visual way to build code. From a developer's perspective, Blockly is a ready-made UI for creating a visual language that emits syntactically correct user-generated code. Blockly can export blocks to many programming languages. -
12
rust-analyzer
A Rust compiler front-end for IDEs
rust-analyzer is a modular compiler frontend for the Rust language. It is a part of a larger rls-2.0 effort to create excellent IDE support for Rust. If you want to contribute to rust-analyzer or are just curious about how things work under the hood, check the ./docs/dev folder. If you want to use rust-analyzer's language server with your editor of choice, check the manual folder. It also contains some tips & tricks to help you be more productive when using rust-analyzer. rust-analyzer is an implementation of Language Server Protocol for the Rust programming language. ... -
13
OnlineJudge 2.0
Open source online judge based on Vue, Django and Docker
An open-source online judge system based on Python and Vue. Based on Docker; One-click deployment. Separated backend and frontend; Modular programming; Micro service. ACM/OI rule support; realtime/non-realtime rank support. Amazing charting and visualization. Template-problem support. More reasonable permission control. Multi-language support: C, C++, Java, Python2, Python3. Markdown & MathJax support. -
14
Python Core 50 Courses
Structured learning path that organizes Python fundamentals
Python-Core-50-Courses is a structured learning path that organizes Python fundamentals into 50 digestible lessons designed for steady, incremental progress. The curriculum starts with the basics—syntax, variables, data types, and control flow—then advances to functions, modules, object-oriented programming, and common standard-library utilities. -
15
SGLang
SGLang is a fast serving framework for large language models
SGLang is a fast serving framework for large language models and vision language models. It makes your interaction with models faster and more controllable by co-designing the backend runtime and frontend language. -
16
.NET Runtime
Cross-platform runtime for cloud, mobile, desktop, and IoT apps
...With .NET, you can use multiple languages, editors, and libraries to build for web, mobile, desktop, games, and IoT. You can write .NET apps in C#, F#, or Visual Basic. C# is a simple, modern, object-oriented, and type-safe programming language. F# is a cross-platform, open-source, functional programming language for .NET. It also includes object-oriented and imperative programming. Visual Basic is an approachable language with a simple syntax for building type-safe, object-oriented apps. Whether you're working in C#, F#, or Visual Basic, your code will run natively on any compatible OS. ... -
17
GPT4All
Run Local LLMs on Any Device. Open-source
...This project also supports Python integrations for easy automation and customization. GPT4All is ideal for individuals and businesses seeking private, offline access to powerful LLMs. -
18
JILL.py
A cross-platform installer for the Julia programming language
The enhanced Python fork of JILL, Julia Installer for Linux (and every other platform), Light. -
19
Miracode
A sharp, readable, vector-y version of Monocraft
A web-based code editor with support for multiple programming languages, designed for collaborative projects. -
20
OCaml
The core OCaml system: compilers, runtime system, base libraries
OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety. OCaml’s powerful type system means more bugs are caught at compile-time, and large, complex codebases are easier to maintain. This makes it a good language for running critical code. At the same time, sophisticated inference makes the type system unobtrusive, creating a smooth developer experience. -
21
HAXE
The cross-platform toolkit
Haxe is an open source high-level strictly-typed programming language with a fast optimizing cross-compiler. Haxe can build cross-platform applications targeting JavaScript, C++, C#, Java, JVM, Python, Lua, PHP, Flash, and allows access to each platform's native capabilities. Haxe has its own VMs (HashLink and NekoVM) but can also run in interpreted mode. Haxe is useful in a wide variety of domains; games, web, mobile, desktop, command-line and cross-platform APIs. ... -
22
PyQuil
A Python library for quantum programming using Quil
PyQuil is a Python library for quantum programming using Quil, the quantum instruction language developed at Rigetti Computing. PyQuil serves three main functions. PyQuil has a ton of other features, which you can learn more about in the docs. However, you can also keep reading below to get started with running your first quantum program. Without installing anything, you can quickly get started with quantum programming by exploring our interactive Jupyter Notebook tutorials and examples. ... -
23
Idris 2
A purely functional programming language with first class types
In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give up front, the more confidence we can have that the resulting program will be correct. In Idris, types are first-class constructs in the language. This means types can be passed as arguments to functions, and returned from... -
24
Wasp
A programming language that understands what a web app is
Wasp (Web Application Specification Language) is a declarative DSL (domain-specific language) for developing, building and deploying modern full-stack web apps with less code. Concepts such as app, page, user, login, frontend, production, etc. are baked into the language, bringing a new level of expressiveness and allowing you to get more work done with fewer lines of code. While describing high-level features with Wasp, you still write the rest of your logic in your favorite technologies... -
25
CLIPS Rule Based Programming Language
Expert System Tool
CLIPS is a forward-chaining rule-based programming language written in C that also provides procedural and object-oriented programming facilities.
