Search Results for "jovial programming language" - Page 6
Sort By:
Showing 1338 open source projects for "jovial programming language"
View related business solutions-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
1
Gonum
Set of numeric libraries for the Go programming language
Gonum is a set of numeric libraries for the Go programming language. It contains libraries for matrices, statistics, optimization, and more. Gonum is a set of packages designed to make writing numerical and scientific algorithms productive, performant, and scalable. Gonum contains libraries for matrices and linear algebra; statistics, probability distributions, and sampling; tools for function differentiation, integration, and optimization; network creation and analysis; and more. ... -
2
Qwerty Learner
Words learning and English muscle memory training software
...Users must retype incorrectly entered words, reducing the chance of reinforcing spelling mistakes. The application includes dictionaries for major English exams, school levels, business English, programming terms, and several language-specific APIs. Phonetic symbols and pronunciation help learners connect spelling with sound. Dictation exercises, typing speed, and accuracy statistics provide additional review and progress feedback. It runs as a React web application, can be self-hosted, and is also available through a Visual Studio Code extension. -
3
pytudes
Python programs, usually short, of considerable difficulty
pytudes is Peter Norvig’s collection of short Python programs written to practice and demonstrate specific programming skills. The name is inspired by musical études, meaning compact exercises designed to build mastery through focused practice. The repository includes readable solutions, experiments, notebooks, and scripts that cover algorithms, puzzles, probability, search, language processing, simulation, and mathematical reasoning. It is useful for programmers who want to study elegant Python code while learning how experienced developers approach problem solving. ... -
4
mruby
Lightweight Ruby
mruby is a lightweight implementation of the Ruby programming language designed for embedding and integration into applications, particularly in resource-constrained environments such as embedded systems or game engines. It maintains compatibility with modern Ruby syntax while offering a significantly reduced footprint compared to the standard Ruby interpreter. The system includes its own virtual machine, bytecode compiler, and interactive shell, enabling developers to write, compile, and execute Ruby code efficiently. ... -
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
Mangle
Go library for Datalog-style logical reasoning and domain modeling
Mangle is a programming language developed by Google for deductive database programming, serving as an advanced extension of Datalog. It is designed to unify and query data from multiple sources in a structured, declarative way while allowing developers to model complex relationships and domain knowledge beyond binary predicates. Mangle enhances traditional Datalog by introducing features such as aggregation, function calls, and optional type-checking, which make it more practical for modern data-intensive applications. ... -
6
AWS SDK for Go v2
AWS SDK for the Go programming language
Welcome to the AWS SDK for Go. The AWS SDK for Go V2 provides APIs and utilities that developers can use to build Go applications that use AWS services, such as Amazon Elastic Compute Cloud (Amazon EC2) and Amazon Simple Storage Service (Amazon S3). The SDK removes the complexity of coding directly against a web service interface. It hides a lot of the lower-level plumbing, such as authentication, request retries, and error handling. The SDK also includes helpful utilities. For example, the... -
7
Google Style Guides
Style guides for Google-originated open source projects
Google Styleguide is a comprehensive collection of coding style guides created and maintained by Google to ensure consistency, readability, and maintainability across its vast array of software projects. These guides define best practices and conventions for writing code in multiple programming languages, from C++ and Python to JavaScript, Go, and Swift. By adhering to these standards, developers can more easily collaborate, review code, and maintain high-quality software across teams and open source contributions. Each guide covers a wide range of topics, including naming conventions, file organization, indentation, documentation, and usage of specific language features. ... -
8
Azure Quantum Development Kit
Azure Quantum Development Kit
Azure Quantum Development Kit, including the Q# programming language, resource estimator, and Quantum Katas. The playground is a small website that loads the Q# editor, compiler, samples, katas, and documentation for the standard library. It's a way to manually validate any changes you make to these components. The easiest way to develop in this repo is to use VS Code. When you open the project root, by default VS Code will recommend you install the extensions listed in .vscode/extensions.json. ... -
9
Centrifugo
Scalable real-time messaging server in a language-agnostic way
Centrifugo is language-agnostic. It's a standalone server with a simple API that integrates well with an application written in any programming language. No need to change an existing application architecture to introduce real-time features. Just add Centrifugo nearby and let it deal with persistent connections. Centrifugo is built in Go language with some smart optimizations inside. -
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.
-
10
SpaceX prepare for Clean Architecture
Clean Architecture Modular Project: MVVM + Jetpack Compose
The purpose of this project is to consolidate some of the learned insights throughout the years about the Clean Architecture principles and reflect those lessons on Android, taking advantage of the Kotlin programming language features too. This project summarises some of the general use cases and demands on a typical production project using: Jetpack Compose, Functional Programming, MVVM, Kotlin Coroutines, and Kotlin Flows (check the branches section for more information). -
11
Radare2
UNIX-like reverse engineering framework and command-line toolset
A free/libre toolchain for easing several low-level tasks like forensics, software reverse engineering, exploiting, and debugging. It is composed by a bunch of libraries (which are extended with plugins) and programs that can be automated with almost any programming language. It is recommended to install it from git, alternatively, you can pick the last release (every 6 weeks) from Github. Batch, Commandline, visual, and panels interactive modes. Embedded webserver with js scripting and WebUI. Assemble and disassemble a large list of CPUs. Runs on Windows and any other UNIX flavor out there. ... -
12
Valkey GLIDE
An open source Valkey client library that supports Valkey and Redis
Valkey General Language Independent Driver for the Enterprise (GLIDE), is an open-source Valkey client library. Valkey GLIDE is one of the official client libraries for Valkey, and it supports all Valkey commands. Valkey GLIDE supports Valkey 7.2 and above, and Redis open-source 6.2, 7.0 and 7.2. Application programmers use Valkey GLIDE to safely and reliably connect their applications to Valkey- and Redis OSS- compatible services. Valkey GLIDE is designed for reliability, optimized... -
13
Hoverfly
Lightweight service virtualization/ API simulation / API mocking tool
Hoverfly is a lightweight, open source API simulation tool. Using Hoverfly, you can create realistic simulations of the APIs your application depends on. Replace unreliable test systems and restrictive API sandboxes with high-performance simulations in seconds. Run on MacOS, Windows or Linux, or use native Java or Python language bindings to get started quickly. Simulate API latency or failure when required by writing custom scripts in the language of your choice. -
14
Protocol Buffers
Google's data interchange format
Protocol Buffers are Google’s fast and simple, language- and platform-neutral, extensible mechanism for serializing structured data. It allows you to define how your data should be structured once, and then using a special generated source code, you can then easily write and read your structured data to and from a variety of data streams and using a variety of languages. Protocol Buffers currently supports a wide array of languages, including C++, Java, Python, Ruby, and many others with... -
15
Vavr
Object-functional library that runs with Java 8+
Vavr core is a functional library for Java. It helps to reduce the amount of code and to increase the robustness. A first step towards functional programming is to start thinking in immutable values. Vavr provides immutable collections and the necessary functions and control structures to operate on these values. The results are beautiful and just work. The Vavr binaries can be found on Maven Central. Beside with Gradle and Maven they work also standalone. The documentation gives an overview... -
16
The Agda standard library
The Agda standard library
...While we always try and write efficient code, we prioritize ease of proof over type-checking and normalization performance. If computational performance is important to you, then perhaps try agda-prelude instead. Agda is a dependently typed programming language. It is an extension of Martin-Löf’s type theory and is the latest in the tradition of languages developed in the programming logic group at Chalmers. Other languages in this tradition are Alf, Alfa, Agda 1, Cayenne. Some other loosely related languages are Coq, Epigram, Idris, and Lean. -
17
Node.js
Cross-platform JavaScript runtime environment
...It is built on Chrome’s V8 engine and is designed for building fast, scalable network applications. Node.js enables developers to create servers, APIs, command-line tools, and full-stack web applications using a single programming language. Its non-blocking, event-driven architecture makes it highly efficient for handling concurrent requests. The ecosystem is supported by npm, one of the largest package managers, providing access to thousands of libraries and tools. Node.js is widely used for backend development, real-time applications, and microservices architectures. -
18
LangChainGo
LangChain for Go, the easiest way to write LLM-based programs in Go
LangChainGo is a Go-based implementation of the LangChain framework, designed to help developers build applications powered by large language models using the Go programming language. It provides a modular architecture that allows developers to combine components such as language models, chains, agents, memory systems, and vector stores into flexible workflows. The framework emphasizes composability, making it easy to create complex pipelines that integrate LLMs with external data sources, APIs, and tools. ... -
19
Learn Go
Master the fundamentals and advanced features of the Go language
Learn Go is a learning-focused repository built to teach Go from first principles through more advanced language and ecosystem features. It takes a course-like approach, starting with environment setup and the “Hello world” basics, then moving into variables, types, formatting, control flow, and functions. From there, it expands into Go’s practical structure for real projects, including modules, packages, and workspaces, plus useful commands for building and working with programs. The... -
20
Wuffs
Wrangling Untrusted File Formats Safely
Wuffs is a memory-safe, zero-dependency library and domain-specific language for writing high-performance image codecs and related parsers. Instead of trusting ad-hoc C, Wuffs code is compiled to C with strong bounds, integer, and state checks inserted by construction, aiming to eliminate whole classes of security bugs without a heavy runtime. The design prioritizes predictable performance: decoders avoid dynamic allocation by default, return explicit “short read” signals, and run well in... -
21
Netcap
A framework for secure and scalable network traffic analysis
...These audit records can be stored on disk or exchanged over the network, and are well-suited as a data source for machine learning algorithms. Since parsing of untrusted input can be dangerous and network data is potentially malicious, a programming language that provides a garbage-collected memory-safe runtime is used for the implementation. -
22
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 the AWS_XRAY_NOOP_ID environment variable as False. ... -
23
Fury
A blazing fast multi-language serialization framework
Fury is a blazing-fast multi-language serialization framework powered by jit(just-in-time compilation) and zero-copy, providing up to 170x performance and ultimate ease of use. Based on efficient JIT, struct deserialization can get 170x speed up compared to other serialization frameworks. In serialization scenarios, Fury can achieve a 100x speed up compared to traditional serialization frameworks. If you use Java clusters on a large scale, this will save a lot of computing resources. -
24
napi-rs
A framework for building compiled Node.js add-ons in Rust via Node-API
NAPI-RS is a framework for building native Node.js modules using the Rust programming language, offering a safe and efficient way to write performance-critical code. -
25
corroded
Set of utilities consisting of idiomatic and safe rust utilities
corroded is a Rust project that intentionally strips away Rust’s safety guarantees and idiomatic protections, offering utilities and patterns that prioritize raw power and freedom over the usual borrow checker enforcement or strict ownership rules. Its README and community reactions suggest a mix of satire and extreme experimentation: the project makes “unsafe” Rust easier to use by removing typical compile-time checks, pushing the language toward behavior more like C for cases where...
