Search Results for "definitions"
Sort By:
Showing 7 open source projects for "definitions"
View related business solutions-
AI-powered SAST and AppSec platform that helps companies find and fix vulnerabilities.ZeroPath (YC S24) is an AI-native application security platform that delivers comprehensive code protection beyond traditional SAST. Founded by security engineers from Tesla and Google, ZeroPath combines large language models with advanced program analysis to find and automatically fix vulnerabilities.
-
Component Content Management System for Software DocumentationPaligo is an end-to-end Component Content Management System (CCMS) solution for technical documentation, policies and procedures, knowledge management, and more.
-
1
The CUE Data Constraint Language
The home of the CUE language. Validate and define text-based config
...The same CUE definition can simultaneously be used for validating data and act as a template to reduce boilerplate. Schema definition is enriched with fine-grained value definitions and default values. At the same time, data can be simplified by removing values implied by such detailed definitions. The merging of these two concepts enables many tasks to be handled in a principled way. The CUE scripting layer defines declarative scripting, expressed in CUE, on top of data. This solves three problems: working around the closedness of CUE definitions (we say CUE is hermetic), providing an easy way to share common scripts and workflows for using data, and giving CUE the knowledge of how data is used to optimize validation. -
2
stylus
Expressive, robust, feature-rich CSS language built for nodejs
...Installing Stylus is very easy once you have Node.js. So get the binaries for your platform and make sure that they also include npm, Node’s package manager. Stylus features powerful in-language function definitions. Function definitions appear identical to mixins; however, functions may return a value. Optional arguments may default to a given expression. With Stylus we may even default arguments to earlier arguments! Stylus is an innovative stylesheet language that compiles down to CSS. Inspired by SASS, Stylus is built with node.js and capable of running in the browser. ... -
3
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. It also has... -
4
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... -
The top-rated AI recruiting platform for faster, smarter hiring.Humanly is an AI-first recruiting platform that helps talent teams hire in days, not months—without adding headcount. Our intuitive CRM pairs with powerful agentic AI to engage and screen every candidate instantly, surfacing top talent fast. Built on insights from over 4 million candidate interactions, Humanly delivers speed, structure, and consistency at scale—engaging 100% of interested candidates and driving pipeline growth through targeted outreach and smart re-engagement. We integrate seamlessly with all major ATSs to reduce manual work, improve data flow, and enhance recruiter efficiency and candidate experience. Independent audits ensure our AI remains fair and bias-free, so you can hire confidently.
-
5
Prompt Declaration Language
Prompt Declaration Language is a declarative prompt programming lang
LLMs will continue to change the way we build software systems. They are not only useful as coding assistants, providing snipets of code, explanations, and code transformations, but they can also help replace components that could only previously be achieved with rule-based systems. Whether LLMs are used as coding assistants or software components, reliability remains an important concern. LLMs have a textual interface and the structure of useful prompts is not captured formally. Programming... -
6
Rabbit-vm
An approach to the Joy programming language.
...Rabbit-vm is basically an implemetation of Joy. The main difference to the original Joy, as implemented in Joy1, is * Rabbit-vm has a define-primitve. New definitions can be created at runtime. * Rabbit-vm has no build in language aside the Joy language. There is nothing like name == ... ; HIDE ... IN ... END Language construction is done with combinators. * The meaning of the words is different in many cases. -
7
The Magda language
Magda language resource site
...The power of modularization of mixins is enhanced by two unique features. The first feature is the modularization of constructors. In Magda, many mixins with independent definitions of constructors can be combined without the need to copy any code and without the risk of clashes. The second distinctive feature modifies the way declarations of new methods, overriding methods, and method calls are done, in order to rule out accidental name clashes, even with respect to future modifications of the code. ...
- Previous
- You're on page 1
- Next
