|
|
Python |
6 |
Unification proposal for Python 3 Futures |
Apr 11, 2022 |
|
|
Python |
5 |
A proposal for a shared statistics schema |
Apr 15, 2022 |
|
|
JavaScript |
10 |
A schema proposal for the future Wikibase REST API. |
Aug 19, 2022 |
|
|
JavaScript |
3 |
Unification for JS |
Jul 11, 2019 |
|
|
Clojure |
128 |
Unification library |
Aug 17, 2022 |
|
|
Shell |
2 |
Scripts for the Unification Network |
Jun 07, 2020 |
|
|
None |
3 |
Notes for Sensor API unification |
Apr 01, 2017 |
|
|
C++ |
289 |
Fuzzing Unification Framework |
Aug 30, 2022 |
|
|
Haskell |
3 |
Haskell 98 Unification |
Dec 05, 2019 |
|
|
Haskell |
3 |
Learning pattern unification |
Jul 16, 2020 |
|
|
Python |
7 |
Kodi version unification |
May 01, 2023 |
|
|
JavaScript |
2 |
Boolean Unification Workbench |
Mar 04, 2024 |
|
|
None |
6 |
YAML Schema proposal to solve all of our problems once and for all. |
Aug 28, 2021 |
|
|
None |
2 |
Proposal for Python-like import syntax extension |
Jul 17, 2021 |
|
|
Python |
6 |
Python parser for IFC STEP schema to JSON Schema |
Dec 28, 2021 |
|
|
Python |
2 |
Unification algorithm for list-based trees |
Sep 28, 2015 |
|
|
Standard ML |
3 |
Simple unification for ABTs in SML |
Feb 25, 2016 |
|
|
Python |
43 |
OpenAPI schema validator for Python |
Aug 21, 2022 |
|
|
Python |
2 |
simple schema validation for Python |
Nov 13, 2014 |
|
|
Haskell |
5 |
Simple generic unification algorithms |
Aug 09, 2020 |
|
|
Go |
3 |
Official Unification Mainchain implementation |
Feb 28, 2022 |
|
|
Java |
3 |
Aspect-Sentiment Unification Model |
Apr 30, 2020 |
|
|
JavaScript |
48 |
JUnify ― JavaScript Unification Library |
Apr 30, 2022 |
|
|
Python |
18 |
Neural Unification for Logic Reasoning over Language |
Apr 29, 2022 |
|
|
Scala |
2 |
A library for Bounded Rigid E-Unification |
Feb 28, 2019 |
|
|
Haskell |
2 |
Simple E-unification for second-order syntax. |
Sep 10, 2022 |
|
|
Python |
378 |
Fast JSON schema validator for Python. |
May 21, 2023 |
|
|
Haskell |
4 |
Matching and unification on TrieMaps |
Dec 05, 2019 |
|
|
Go |
21 |
Yet Another Efficient Unification Algorithm |
Aug 07, 2022 |
|
|
Coq |
3 |
Formalization of unification in Coq |
Aug 27, 2018 |
|
|
Python |
122 |
Python XML Schema Bindings |
Mar 20, 2022 |
|
|
Python |
6 |
Python XML Schema Bindings |
Jan 10, 2023 |
|
|
Python |
3 |
:heavy_exclamation_mark: Proposal for a new 'throws' keyword in python. |
Nov 29, 2022 |
|
|
None |
64 |
FOEDUS: Fast Optimistic Engine for Data Unification Services |
May 04, 2022 |
|
|
Python |
2 |
ROS1 part for the Unification project in 2019. |
Dec 02, 2019 |
|
|
Haskell |
24 |
Generic unification-based type inference library |
Apr 01, 2023 |
|
|
TypeScript |
2 |
Revolt Emoji Pack Structure Unification Toolchain |
Sep 18, 2022 |
|
|
C# |
2 |
Language Forge / Language Depot unification project |
Apr 26, 2023 |
|
|
Scheme |
3 |
Invent abstract functions using anti-unification. |
Feb 20, 2018 |
|
|
HTML |
14 |
Proposal for Intl.MessageFormat |
Jul 17, 2022 |
|
|
HTML |
27 |
Proposal for Intl.LocaleMatcher |
Aug 02, 2022 |
|
|
JavaScript |
75 |
Proposal for Promise.prototype.inspect |
Jun 25, 2022 |
|
|
Haskell |
37 |
Generic functions for single-sorted first-order structural unification |
Apr 03, 2023 |
|
|
Scheme |
21 |
Functional implementation of anti-unification algorithm for multiple terms |
Oct 23, 2022 |
|
|
HTML |
5 |
Myanmar- Family Federation for World Peace and Unification Myanmar |
Mar 08, 2023 |
|
|
Python |
8 |
Simple Python program for managing Cassandra schema migrations |
Jun 17, 2019 |
|
|
Python |
241 |
A Python library for working with Table Schema. |
Aug 11, 2022 |
|
|
Python |
2 |
JSON Schema-backed ORM for Python and MongoDB. |
Feb 24, 2015 |
|
|
Python |
20 |
Configuration and schema sync for Metabase from Python |
Jun 29, 2022 |
|
|
Python |
27 |
Distributed, versioned, schema-less object storage for Python |
Jul 07, 2022 |