Search Results for "proposal"
Sort By:
Showing 82 open source projects for "proposal"
View related business solutions-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
One App to Replace Your Entire SaaS StackClickUp replaces your scattered tool stack with one AI-powered platform. Stop paying for project management, docs, chat, and time tracking separately when they all live in one place. Teams that consolidate into ClickUp cut software costs and move faster because everything is connected, not siloed across apps that don't talk to each other.
-
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
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. -
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
5
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. -
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... -
Stop vibe-debugging.AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
-
10
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. -
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
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. ... -
17
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. ... -
18
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. -
19
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. ... -
20
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... -
21
NSDuino
New IDE for Arduino
NSDuino is an new alternative IDE for Arduino, Genuino and others compatible microcontroller boards. -
22
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. -
23
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... -
24
Toward A Philosophy Of Computing
How to philosophize with internetworked electronic computing machinery
Toward A Philosophy Of Computing begins as a dissertation proposal in Texts and Technology at the University of Central Florida that explores doing philosophy by programming. See the project wiki for the proposal. -
25
