282 skills found · Page 1 of 10
r-lyeh / Single File LibsList of single-file C/C++ libraries, with emphasis on clause-less licenses.
ardalis / GuardClausesA simple package with guard clause extensions.
amantinband / ThrowA simple, fluent, extensible, and fully customizable library for throwing exceptions for projects using .NET 6+
souffle-lang / SouffleSoufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
danielwertheim / Ensure.ThatGuard clause project for .NET
chatopera / Clause:horse_racing: 聊天机器人，自然语言理解，语义理解
accordproject / Template ArchiveSmart Legal Contracts & Templating System
Engelberg / Better CondA version of cond that supports :let clauses, and a number of other conveniences.
adamralph / Liteguard🔒 The most simple, unambiguous, and lightweight .NET guard clause library.
cair / TmuImplements the Tsetlin Machine, Coalesced Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetlin Machine, with support for continuous features, drop clause, Type III Feedback, focused negative sampling, multi-task classifier, autoencoder, literal budget, and one-vs-one multi-class classifier. TMU is written in Python with wrappers for C and CUDA-based clause evaluation and updating.
openmovementproject / OpenmovementOpen Movement devices are miniature, open source sensors originally developed at Newcastle University, UK. The source code for the firmware and software is under a BSD 2-clause license, and the hardware (PCB designs, layouts and schematics), enclosure designs and documentation are available under a Creative Commons 3.0 BY Attribution License.
ucsd-progsys / Liquid FixpointHorn Clause Constraint Solving for Liquid Types
NaluCFD / NaluNalu: a generalized unstructured massively parallel low Mach flow code designed to support a variety of open applications of interest built on the Sierra Toolkit and Trilinos solver Tpetra solver stack. The open source BSD, clause 3 license model has been chosen for the code base. See LICENSE for more information.
sneeuwballen / ZipperpositionAn automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
fertapric / Async WithThe asynchronous version of Elixir's "with", resolving the dependency graph and executing the clauses in the most performant way possible!
cair / PyTsetlinMachineImplements the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, Weighted Tsetlin Machine, and Embedding Tsetlin Machine, with support for continuous features, multigranularity, clause indexing, and literal budget
webbingbrasil / Filament AdvancedfilterA collection of easy-to-use filters with clause conditions to Filament
fossas / Commons ClauseA license condition for source-available sustainability.
JodiTheTigger / Meow FftA simple, C99, header only, 0-Clause BSD Licensed, fast fourier transform (FFT).
WinVector / Pyvtreatvtreat is a data frame processor/conditioner that prepares real-world data for predictive modeling in a statistically sound manner. Distributed under a BSD-3-Clause license.
