|
|
Julia |
5 |
Set definitions in Julia |
May 16, 2022 |
|
|
Julia |
39 |
Systems definitions in Julia |
Aug 08, 2022 |
|
|
Julia |
27 |
Hybrid Systems definitions in Julia |
Sep 08, 2022 |
|
|
Julia |
73 |
Database interface definitions for Julia |
Feb 27, 2023 |
|
|
Ruby |
4 |
Predicate |
Dec 11, 2021 |
|
|
C# |
2 |
Predicate Builder |
Nov 20, 2020 |
|
|
Julia |
951 |
Automatically update function definitions in a running Julia session |
Aug 07, 2022 |
|
|
C++ |
2 |
bi-opaque predicate |
Oct 18, 2022 |
|
|
Java |
12 |
Predicate expression language |
Nov 04, 2022 |
|
|
Julia |
4 |
LCM type definitions for compatibility with RobotLocomotion/Drake in Julia |
Feb 08, 2020 |
|
|
Julia |
2 |
LCM type definitions for compatibility with openhumanoids/bot_core_lcmtypes in Julia |
Feb 08, 2020 |
|
|
Julia |
6 |
Definitions of the Julia types for simulating an ISO's market clearing. |
Aug 19, 2022 |
|
|
Julia |
7 |
Abstract Definitions and Functions to establish a thermodynamic library in julia |
Dec 14, 2022 |
|
|
C# |
2 |
Simple predicate string parser |
Jul 27, 2022 |
|
|
None |
4 |
Predicate - Access Control System |
Dec 29, 2022 |
|
|
Swift |
31 |
Pure Swift Predicate implementation |
Mar 10, 2023 |
|
|
TypeScript |
4 |
🧐 Predicate util functions |
Nov 15, 2022 |
|
|
Julia |
55 |
Abstract definitions and convenience methods for describing, processing, and constructing Julia objects |
Aug 12, 2022 |
|
|
Clojure |
2 |
Utilities for predicate expression trees |
Oct 06, 2021 |
|
|
Java |
3 |
Swing-based query predicate editor |
Oct 06, 2021 |
|
|
Ruby |
144 |
Predicate logic with rule composition |
Jul 05, 2022 |
|
|
Python |
2 |
ShaPE, a Shape Predicate Extractor. |
Jan 28, 2023 |
|
|
Ruby |
22 |
Predicated is a simple predicate model for Ruby. It provides useful predicate transformations and operations. |
Nov 28, 2022 |
|
|
TeX |
4 |
A refinement system with controllable predicate |
Jul 13, 2022 |
|
|
Kotlin |
6 |
Sparse Lunar Annotation Predicate (Lunar Mappings) |
Apr 28, 2022 |
|
|
JavaScript |
6 |
Partitions an array by a predicate |
Jul 15, 2019 |
|
|
Ruby |
10 |
JSON Patch, Pointer and Predicate implementation |
Oct 28, 2020 |
|
|
Python |
12 |
CircuitPython pin or arbitrary predicate debouncer |
Aug 22, 2022 |
|
|
Scala |
4 |
Library for detecting event predicate factuality |
Mar 28, 2022 |
|
|
C# |
63 |
Predicate extensions C#, LINQ and EntityFramework |
Feb 22, 2023 |
|
|
C++ |
28 |
A Generalized Dynamic Opaque Predicate Obfuscator |
Oct 12, 2022 |
|
|
F# |
5 |
First-order (predicate) logic for F# |
Jul 27, 2022 |
|
|
Python |
28 |
Solving BDD and uSVP with predicate |
Apr 21, 2023 |
|
|
Java |
3 |
Panda: Predicate Abstraction in Dynamic Analysis |
Jun 15, 2018 |
|
|
Rust |
138 |
Boolean-valued predicate functions in Rust |
Jun 01, 2023 |
|
|
TypeScript |
2 |
Easily translate JSON into type definitions. With support for TypeScript, Python, Julia and Rust |
Feb 01, 2024 |
|
|
Jupyter Notebook |
5 |
Character-based seq2seq models (english => predicate logic) |
Jun 08, 2022 |
|
|
CoffeeScript |
2 |
A simple bot for the Predicate crowd. |
Aug 13, 2019 |
|
|
JavaScript |
3 |
Predicate that returns true for numeric values. |
May 24, 2022 |
|
|
JavaScript |
3 |
Predicate that returns true for "truthy" values. |
May 24, 2022 |
|
|
Java |
3 |
Discoverer: Deep Relational Learning with Predicate Invention |
Aug 11, 2022 |
|
|
JavaScript |
28 |
Predicate that returns true if base64 string. |
Jul 04, 2022 |
|
|
Python |
3 |
Extract triples from text: (Subject, Predicate, Object) |
Sep 24, 2020 |
|
|
Java |
8 |
:coffee: Functional Programming, Lamda, Stream, Function, Predicate |
Feb 01, 2023 |
|
|
Rust |
13 |
partition slices in-place by a predicate |
Mar 08, 2023 |
|
|
Prolog |
2 |
prolog predicate translation of OBO Relations Ontology |
Mar 12, 2023 |
|
|
Haskell |
2 |
GCL verification tool based on predicate transformers |
May 09, 2023 |
FoldsKernelAbstractions.jl
|
Julia |
3 |
None |
Jan 23, 2022 |
|
|
Julia |
3 |
Experiments on topic modeling |
Aug 21, 2014 |
|
|
Julia |
3 |
LALR parser implementation for Julia, based on Python's Lark |
Jun 25, 2020 |