Search Results for "proposal"
Sort By:
Showing 84 open source projects for "proposal"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
1
FromFile.jl
Julia enhancement proposal (Julep) for implicit per file module
This package exports a macro @from, which can be used to import objects from files. The hope is that you will never have to write include again. FromFile is a Julia Language package. To install FromFile, please open Julia's interactive session (known as REPL) and press ] key in the REPL to use the package mode. -
2
-
3
Scnlib
scanf for modern C++
scnlib is a modern C++ library that serves as a replacement for scanf and std::istream. It offers type-safe and efficient input parsing, aiming to improve upon the limitations of traditional C++ input methods. -
4
Twitter Color Emoji SVGinOT Font
Twitter Unicode 13.1 emoji color OpenType-SVG font
...SVG in Open Type is a standard by Adobe and Mozilla for color OpenType and Open Font Format fonts. It allows font creators to embed complete SVG files within a font enabling full color and even animations. There are more details in the SVGinOT proposal and the OpenType SVG table specifications. -
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.
-
5
pep484 stubs for Django
PEP-484 stubs for Django
...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 the PR. This project does not affect your runtime at all. It only affects mypy type checking process. The current implementation uses Django's runtime to extract information about models, so it might crash if your installed apps or models.py are broken. -
6
Python JSONPath Next-Generation
JSONPath implementation for Python that aims to be standard compliant
A final implementation of JSONPath for Python that aims to be standard compliant, including arithmetic and binary comparison operators, as defined in the original JSONPath proposal. This package merges both jsonpath-rw and jsonpath-rw-ext and provides several AST API enhancements, such as the ability to update or remove nodes in the tree. This library provides a robust and significantly extended implementation of JSONPath for Python. It is tested with CPython 3.7 and higher. This library differs from other JSONPath implementations in that it is a full language implementation, meaning the JSONPath expressions are first-class objects, easy to analyze, transform, parse, print, and extend. -
7
Reselect
Selector library for Redux
Simple “selector” library for Redux (and others) inspired by getters in NuclearJS, subscriptions in re-frame and this proposal from speedskater. Selectors can compute derived data, allowing Redux to store the minimal possible state. Selectors are efficient. A selector is not recomputed unless one of its arguments changes. Selectors are composable. They can be used as input to other selectors. Reselect provides a function createSelector for creating memoized selectors. createSelector takes an array of input-selectors and a transform function as its arguments. ... -
8
ECMAScript
Status, process, and documents for ECMA-262
The most accurate and up-to-date ECMAScript specification. It contains the content of the most recent yearly snapshot plus any finished proposals (those that have reached Stage 4 in the proposal process and thus are implemented in several implementations and will be in the next practical revision) since that snapshot was taken. This Ecma Standard defines the ECMAScript 2022 Language. It is the twelfth edition of the ECMAScript Language Specification. Since publication of the first edition in 1997, ECMAScript has grown to be one of the world's most widely used general-purpose programming languages. ... -
9
CutLER
Code release for Cut and Learn for Unsupervised Object Detection
CutLER is an approach for unsupervised object detection and instance segmentation that trains detectors without human-annotated labels, and the repo also includes VideoCutLER for unsupervised video instance segmentation. The method follows a “Cut-and-LEaRn” recipe: bootstrap object proposals, refine them iteratively, and train detection/segmentation heads to discover objects across diverse datasets. The codebase provides training and inference scripts, model configs, and references to... -
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
10
BuildKit
Concurrent, cache-efficient, and Dockerfile-agnostic builder toolkit
...Quite soon it was clear that we would need to redefine most of the fundamentals about how we even define a build operation and needed a clean break from the current codebase. A proposal was written, and development started in the open under the new repository. -
11
Loomio
Make better decisions together
Making important decisions is critical for any business or organization to succeed. However, making wise decisions as a group can be quite the challenge, especially if these decision makers aren't in the same location. Loomio is the solution for such businesses and organizations. It is a collaborative decision-making tool that makes it easy for anyone to participate in decisions, and helps groups make the best decisions together. No need for tedious meetings and endless email chains-- with... -
12
Gen.jl
A general-purpose probabilistic programming system
...Gen helps users write hybrid algorithms that combine neural networks, variational inference, sequential Monte Carlo samplers, and Markov chain Monte Carlo. Gen features an easy-to-use modeling language for writing down generative models, inference models, variational families, and proposal distributions using ordinary code. But it also lets users migrate parts of their model or inference algorithm to specialized modeling languages for which it can generate especially fast code. Users can also hand-code parts of their models that demand better performance. Neural network inference is fast, but can be inaccurate on out-of-distribution data, and requires expensive training. -
13
pic-standard
Local protocol for safe agentic AI. Intent + impact + verifiable
...Lightweight, it adds machine-verifiable contracts to agent calls and actions and it is particularly efective at shielding the agent from propmpt-injection. Before any high-impact tool call, the agent must submit an Action Proposal (schema + verifier): - explicit intent - impact classification (read / write / money / irreversible / privacy / etc.) - provenance sources with trust levels (untrusted → trusted via verification) - claims backed by verifiable evidence (SHA-256 file hashes or Ed25519 signatures) If trust/evidence is insufficient, it fails closed and blocks the action. ... -
14
Galatea: Multi-agent simulations
DEVs with Multi-agent Simulation Platform
...GALATEA is software to model and simulate multi-agent systems. It is the product of two lines of research: simulation languages based on Zeigler's theory of simulation and logic-based agents. There is, in GALATEA, a proposal to integrate, in the same simulation platform, conceptual and concrete tools for multi-agent, distributed, interactive, continuous and discrete event simulation. GALATEA is also a direct descendent of GLIDER, a DEVS-based simulation language which incorporates tools for continuous modelling as well. In GALATEA, GLIDER is combined with a family of logic programming languages specifically designed to model agents.GALATEA is also a direct descendent of GLIDER, a DEVS-based simulation language which incorporates tools for continuous modelling as well. ... -
15
REST Dataware Componentes
Componentes estilo DB para uso em Servidores REST
New version stable. The proposal was fulfilled. REST DW was created to facilitate the creation of CRUDs in the same model that we created applications for Client / Server Database. Today to be able to write data in a Bank via WebService is very complex for simple operations, making scheduling of simple screens time-consuming. With REST DW, you no longer have to worry about creating SQL Insertion, Deletion, Read and Execution methods via Webservice; Simply add a RESTDataBase connection component and add a RESTClientSQL component that will already have your SQL solution fully functional as it did back in the day and with all the power of modern REST / JSON technology with data compression and everything the language can offer, Use it, have fun, and need support. ... -
16
PDPBioGen
NOTICE OF CONSOLIDATION & PARTNERSHIP PENDING As of April 2026, the 20
NOTICE OF CONSOLIDATION & PARTNERSHIP PENDING As of April 2026, the 20 pipelines of the QCAUS/PDPBioGen suites are undergoing consolidation for high-scale institutional research. Core 'Ford 2026' algorithms remain the proprietary IP of the Ford Peace and Justice Foundation. Academic users at partner institutions are currently performing validation; all other commercial inquiries must contact the author -
17
EntanglementCorrectedCosmologyFramework
NOTICE OF CONSOLIDATION & PARTNERSHIP PENDING As of April 2026, the 20
NOTICE OF CONSOLIDATION & PARTNERSHIP PENDING As of April 2026, the 20 pipelines of the QCAUS/PDPBioGen suites are undergoing consolidation for high-scale institutional research. Core 'Ford 2026' algorithms remain the proprietary IP of the Ford Peace and Justice Foundation. Academic users at partner institutions are currently performing validation; all other commercial inquiries must contact the author. The Entanglement-Corrected Cosmology (ECC) Framework A Quantum Resolution to the... -
18
Detic
Code release for "Detecting Twenty-thousand Classes
...It decouples localization from classification, training a strong box localizer on standard detection data while learning classifiers from weak supervision and large image-tag corpora. A shared region proposal backbone feeds a flexible classification head that can expand to tens of thousands of categories without exhaustive box annotations. The system supports zero- or few-shot extension to novel categories via semantic embeddings and class name supervision, making “open-world” detection practical. Built on Detectron2, the repo includes configs, pretrained weights, and conversion tools to mix fully and weakly supervised sources. ... -
19
HiFi-SoRaP
High Fidelity Solar Raytracing Project (HiFi-SoRaP)
...This acceleration is produced by the impact of the photons emitted by the Sun onto a spacecraft's surface. This collision generates an acceleration which affects its motion and has a relevant effect on a long-term propagation. This proposal studies which models can be used to approximate the computation of this acceleration. Some of the models are more efficient and some others are more accurate. The objective was to find a model that is both efficient and accurate. In order to do so, some of the most accurate models were implemented using the GPU to parallelize part of the computation. ... -
20
stduuid
A C++17 cross-platform implementation for UUIDs
A C++17 cross-platform single-header library implementation for universally unique identifiers, simply know as either UUID or GUID (mostly on Windows). A UUID is a 128-bit number used to uniquely identify information in computer systems, such as database table keys, COM interfaces, classes and type libraries, and many others. -
21
Kurier
TypeScript framework to create JSON:API compliant APIs
A TypeScript framework to create APIs following the 1.1 Spec of JSONAPI + the Operations proposal spec. JSONAPI is transport-layer independent, so it can be used for HTTP, WebSockets or any transport protocol of your choice. Every queryable object in JSONAPI is a resource, a representation of data that may come from any source, be it a database, an external API, etc. Kurier defines these resources in a declarative style. Baked into Kurier, there is an operation processor that takes care of basic CRUD actions by using Knex. ... -
22
ml-surveys
Survey papers summarizing advances in deep learning, NLP, CV, graphs
The ml-surveys repository is a broad, maintainable overview of survey papers across many subfields of machine learning — including deep learning, NLP, computer vision, graph ML, reinforcement learning, recommendation systems, embeddings, meta-learning, and more. Instead of diving into code or experiments, this repo gathers authoritative survey and review articles, summarizing the state-of-the-art, trends, challenges, and directions within each subdomain. For someone trying to get up to speed... -
23
NSDuino
New IDE for Arduino
NSDuino is an new alternative IDE for Arduino, Genuino and others compatible microcontroller boards. -
24
Orbit Determination Toolbox (ODTBX)
Advanced mission simulation and analysis tool
The Orbit Determination Toolbox (ODTBX) is developed by the Navigation & Mission Design branch at NASA Goddard Space Flight Center as an advanced mission simulation and analysis tool used for concept exploration, proposal, early design phase, and/or rapid design center environments. ODTBX functions and utilities are combined in a flexible architecture that allows for modular development of navigation algorithms and simulations. The core ODTBX functionality is realized through a set of estimation commands that incorporate Monte Carlo data simulation, linear covariance analysis, and measurement processing at a generic level. -
25
CSharpLang
The official repo for the design of the C# programming language
This is the official repository for the design and evolution of the C# programming language. It's where language features are proposed, discussed, designed, and specified. It contains feature proposals, notes from language design meetings, and the evolving specification. Language Design Meetings (LDMs) are held by the LDT and occasional invited guests, and are documented in Design Meeting Notes in the meetings folder, organized in folders by year. The lifetime of a design meeting note is...
